From 6e809b29753727e3097e592780dd23ec68a534dc Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Sun, 25 Sep 2016 21:34:03 -0700
Subject: [PATCH] Adding missing break statements.

---
 src/compat/cvc3_compat.cpp | 26 +++++++++++++++++++-------
 1 file changed, 19 insertions(+), 7 deletions(-)

diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp
index 50da4e412..8c9992164 100644
--- a/src/compat/cvc3_compat.cpp
+++ b/src/compat/cvc3_compat.cpp
@@ -88,13 +88,25 @@ std::string int2string(int n) {
 }
 
 std::ostream& operator<<(std::ostream& out, CLFlagType clft) {
-  switch(clft) {
-  case CLFLAG_NULL: out << "CLFLAG_NULL";
-  case CLFLAG_BOOL: out << "CLFLAG_BOOL";
-  case CLFLAG_INT: out << "CLFLAG_INT";
-  case CLFLAG_STRING: out << "CLFLAG_STRING";
-  case CLFLAG_STRVEC: out << "CLFLAG_STRVEC";
-  default: out << "CLFlagType!UNKNOWN";
+  switch (clft) {
+    case CLFLAG_NULL:
+      out << "CLFLAG_NULL";
+      break;
+    case CLFLAG_BOOL:
+      out << "CLFLAG_BOOL";
+      break;
+    case CLFLAG_INT:
+      out << "CLFLAG_INT";
+      break;
+    case CLFLAG_STRING:
+      out << "CLFLAG_STRING";
+      break;
+    case CLFLAG_STRVEC:
+      out << "CLFLAG_STRVEC";
+      break;
+    default:
+      out << "CLFlagType!UNKNOWN";
+      break;
   }
 
   return out;
-- 
2.30.2