diff options
Diffstat (limited to 'src/theory/arith/arith_static_learner.cpp')
| -rw-r--r-- | src/theory/arith/arith_static_learner.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/arith_static_learner.cpp b/src/theory/arith/arith_static_learner.cpp index 2f4f6e32b..8ecc3abdc 100644 --- a/src/theory/arith/arith_static_learner.cpp +++ b/src/theory/arith/arith_static_learner.cpp @@ -261,7 +261,7 @@ void ArithStaticLearner::iteMinMax(TNode n, NodeBuilder<>& learned){ Assert(isRelationOperator(n[0].getKind())); TNode c = n[0]; - Kind k = simplifiedKind(c); + Kind k = oldSimplifiedKind(c); TNode t = n[1]; TNode e = n[2]; TNode cleft = (c.getKind() == NOT) ? c[0][0] : c[0]; |