diff options
Diffstat (limited to 'src/theory/arith/theory_arith.cpp')
-rw-r--r-- | src/theory/arith/theory_arith.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/theory/arith/theory_arith.cpp b/src/theory/arith/theory_arith.cpp index 8e8064b7f..a4c9f3ce0 100644 --- a/src/theory/arith/theory_arith.cpp +++ b/src/theory/arith/theory_arith.cpp @@ -292,13 +292,8 @@ void TheoryArith::setupInitialValue(ArithVar x){ d_partialModel.setAssignment(x,assignment); } Debug("arithgc") << "setupVariable("<<x<<")"<<std::endl; -}; - -void TheoryArith::registerTerm(TNode tn){ - Debug("arith") << "registerTerm(" << tn << ")" << endl; } - ArithVar TheoryArith::determineLeftVariable(TNode assertion, Kind simpleKind){ TNode left = getSide<true>(assertion, simpleKind); |