diff options
author | Tim King <taking@cs.nyu.edu> | 2017-11-29 10:55:50 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-29 10:55:50 -0800 |
commit | a43e1f12df95868f76e37591cc7543e515fb1869 (patch) | |
tree | 20d681dc6965e2ff3844dd4aa7a30afcc6c6f892 /src/theory/bv | |
parent | d04b4693b5746cf90d262a50a87734eb12d37664 (diff) |
Adding missing break statements. CID 1362756. (#1394)
Diffstat (limited to 'src/theory/bv')
-rw-r--r-- | src/theory/bv/bv_subtheory.h | 28 |
1 files changed, 12 insertions, 16 deletions
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; |