diff options
-rw-r--r-- | src/theory/arith/theory_arith.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/theory_arith.cpp b/src/theory/arith/theory_arith.cpp index 85461af32..1c6287c4a 100644 --- a/src/theory/arith/theory_arith.cpp +++ b/src/theory/arith/theory_arith.cpp @@ -602,7 +602,7 @@ void TheoryArith::preRegisterTerm(TNode n) { if(isRelationOperator(n.getKind())){ if(!isSetup(n)){ - setupAtom(n, true); + setupAtom(n, Options::current()->arithPropagation); } addToContext(n); } |