From: Tim King <taking@cs.nyu.edu>
Date: Wed, 29 Nov 2017 18:55:50 +0000 (-0800)
Subject: Adding missing break statements. CID 1362756. (#1394)
X-Git-Tag: cvc5-1.0.0~5445
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a43e1f12df95868f76e37591cc7543e515fb1869;p=cvc5.git

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

diff --git a/src/theory/bv/bv_subtheory.h b/src/theory/bv/bv_subtheory.h
index deb366a99..454f89b6c 100644
--- 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;