diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-28 19:26:28 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-03-28 19:26:28 +0000 |
| commit | 6e5f551507a2a9af33e7b56107471a096a495862 (patch) | |
| tree | 73a2b187a2f6b4edb6a7043096b5479e947951dd | |
| parent | 4fa767be298c40ebb95b74d5016a0538c02212e6 (diff) | |
enabling the --disable-arithmetic-propagation option in the arithmetic code (it wasn't used)
| -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); } |