diff options
Diffstat (limited to 'src/theory/arith/arith_rewriter.cpp')
| -rw-r--r-- | src/theory/arith/arith_rewriter.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/theory/arith/arith_rewriter.cpp b/src/theory/arith/arith_rewriter.cpp index a9761ade4..355aa7b0f 100644 --- a/src/theory/arith/arith_rewriter.cpp +++ b/src/theory/arith/arith_rewriter.cpp @@ -115,7 +115,8 @@ RewriteResponse ArithRewriter::preRewriteTerm(TNode t){ case kind::ARCTANGENT: case kind::ARCCOSECANT: case kind::ARCSECANT: - case kind::ARCCOTANGENT: return preRewriteTranscendental(t); + case kind::ARCCOTANGENT: + case kind::SQRT: return preRewriteTranscendental(t); case kind::INTS_DIVISION: case kind::INTS_MODULUS: return RewriteResponse(REWRITE_DONE, t); @@ -179,7 +180,8 @@ RewriteResponse ArithRewriter::postRewriteTerm(TNode t){ case kind::ARCTANGENT: case kind::ARCCOSECANT: case kind::ARCSECANT: - case kind::ARCCOTANGENT: return postRewriteTranscendental(t); + case kind::ARCCOTANGENT: + case kind::SQRT: return postRewriteTranscendental(t); case kind::INTS_DIVISION: case kind::INTS_MODULUS: return RewriteResponse(REWRITE_DONE, t); |