From 6e5f551507a2a9af33e7b56107471a096a495862 Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Wed, 28 Mar 2012 19:26:28 +0000
Subject: enabling the --disable-arithmetic-propagation option in the
 arithmetic code (it wasn't used)

---
 src/theory/arith/theory_arith.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/theory')

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);
   }
-- 
cgit v1.2.3