From: Tim King 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;