From: Tim King <taking@google.com>
Date: Mon, 26 Sep 2016 04:34:03 +0000 (-0700)
Subject: Adding missing break statements.
X-Git-Tag: cvc5-1.0.0~6028^2~19
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6e809b29753727e3097e592780dd23ec68a534dc;p=cvc5.git

Adding missing break statements.
---

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;