diff options
Diffstat (limited to 'src/compat/cvc3_compat.cpp')
-rw-r--r-- | src/compat/cvc3_compat.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp index b4ab57283..37d4c503d 100644 --- a/src/compat/cvc3_compat.cpp +++ b/src/compat/cvc3_compat.cpp @@ -416,6 +416,8 @@ bool Expr::isAtomicFormula() const { case CVC4::kind::IFF: case CVC4::kind::IMPLIES: return false; + default: + ; /* fall through */ } for (Expr::iterator k = begin(), kend=end(); k != kend; ++k) { if (!CVC3::Expr(*k).isAtomic()) { @@ -450,8 +452,9 @@ bool Expr::isBoolConnective() const { case CVC4::kind::XOR: case CVC4::kind::ITE: return true; + default: + return false; } - return false; } bool Expr::isPropLiteral() const { |