Adding missing break statements. CID 1362756. (#1394)

diff --git a/src/theory/bv/bv_subtheory.h b/src/theory/bv/bv_subtheory.h
index deb366a9952b1afdccd3f22a11743c5324f61842..454f89b6c59c36d95b32c4048d15e0fc0cf10315 100644 (file)
--- a/src/theory/bv/bv_subtheory.h
+++ b/src/theory/bv/bv_subtheory.h
@@ -37,26 +37,22 @@ enum SubTheory {
   SUB_ALGEBRAIC = 4
 };
 
-inline std::ostream& operator << (std::ostream& out, SubTheory subtheory) {
+inline std::ostream& operator<<(std::ostream& out, SubTheory subtheory) {
   switch (subtheory) {
-  case SUB_BITBLAST:
-    out << "BITBLASTER";
-    break;
-  case SUB_CORE:
-    out << "BV_CORE_SUBTHEORY";
-    break;
-  case SUB_INEQUALITY:
-    out << "BV_INEQUALITY_SUBTHEORY";
-  case SUB_ALGEBRAIC:
-    out << "BV_ALGEBRAIC_SUBTHEORY";
-  default:
-    Unreachable();
-    break;
+    case SUB_BITBLAST:
+      return out << "BITBLASTER";
+    case SUB_CORE:
+      return out << "BV_CORE_SUBTHEORY";
+    case SUB_INEQUALITY:
+      return out << "BV_INEQUALITY_SUBTHEORY";
+    case SUB_ALGEBRAIC:
+      return out << "BV_ALGEBRAIC_SUBTHEORY";
+    default:
+      break;
   }
-  return out;
+  Unreachable();
 }
 
-
 // forward declaration
 class TheoryBV;