diff options
Diffstat (limited to 'src/theory/arith/arith_rewriter.cpp')
-rw-r--r-- | src/theory/arith/arith_rewriter.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arith/arith_rewriter.cpp b/src/theory/arith/arith_rewriter.cpp index 823b61df5..ee9ff9e1b 100644 --- a/src/theory/arith/arith_rewriter.cpp +++ b/src/theory/arith/arith_rewriter.cpp @@ -86,7 +86,7 @@ RewriteResponse ArithRewriter::preRewriteTerm(TNode t){ }else if(t.isVar()){ return rewriteVariable(t); }else{ - switch(t.getKind()){ + switch(Kind k = t.getKind()){ case kind::MINUS: return rewriteMinus(t, true); case kind::UMINUS: @@ -104,7 +104,7 @@ RewriteResponse ArithRewriter::preRewriteTerm(TNode t){ case kind::INTS_MODULUS_TOTAL: return rewriteIntsDivModTotal(t,true); default: - Unreachable(); + Unhandled(k); } } } |