diff options
Diffstat (limited to 'src/theory/arith/proof_checker.cpp')
| -rw-r--r-- | src/theory/arith/proof_checker.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/arith/proof_checker.cpp b/src/theory/arith/proof_checker.cpp index 23f141535..248897ced 100644 --- a/src/theory/arith/proof_checker.cpp +++ b/src/theory/arith/proof_checker.cpp @@ -108,8 +108,8 @@ Node ArithProofRuleChecker::checkInternal(PfRule id, // Whether a strict inequality is in the sum. bool strict = false; - NodeBuilder<> leftSum(Kind::PLUS); - NodeBuilder<> rightSum(Kind::PLUS); + NodeBuilder leftSum(Kind::PLUS); + NodeBuilder rightSum(Kind::PLUS); for (size_t i = 0; i < children.size(); ++i) { // Adjust strictness @@ -163,8 +163,8 @@ Node ArithProofRuleChecker::checkInternal(PfRule id, // Whether a strict inequality is in the sum. bool strict = false; - NodeBuilder<> leftSum(Kind::PLUS); - NodeBuilder<> rightSum(Kind::PLUS); + NodeBuilder leftSum(Kind::PLUS); + NodeBuilder rightSum(Kind::PLUS); for (size_t i = 0; i < children.size(); ++i) { Rational scalar = args[i].getConst<Rational>(); |