diff options
Diffstat (limited to 'src/theory/arith/theory_arith_private.h')
| -rw-r--r-- | src/theory/arith/theory_arith_private.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/theory/arith/theory_arith_private.h b/src/theory/arith/theory_arith_private.h index 929f40b56..1a40af4a0 100644 --- a/src/theory/arith/theory_arith_private.h +++ b/src/theory/arith/theory_arith_private.h @@ -474,7 +474,7 @@ private: void notifyRestart(); Theory::PPAssertStatus ppAssert(TrustNode tin, TrustSubstitutionMap& outSubstitutions); - void ppStaticLearn(TNode in, NodeBuilder<>& learned); + void ppStaticLearn(TNode in, NodeBuilder& learned); std::string identify() const { return std::string("TheoryArith"); } @@ -678,8 +678,7 @@ private: bool isImpliedUpperBound(ArithVar var, Node exp); bool isImpliedLowerBound(ArithVar var, Node exp); - void internalExplain(TNode n, NodeBuilder<>& explainBuilder); - + void internalExplain(TNode n, NodeBuilder& explainBuilder); void asVectors(const Polynomial& p, std::vector<Rational>& coeffs, |