From c22c31b0dfab057cd41cd276852d27d905274c9a Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Sun, 15 Apr 2018 10:18:34 -0500 Subject: [PATCH] Fix mk type const (#1776) This was a new utility, only used so far by the extended rewriter in EqChain simplification. --- src/theory/quantifiers/term_util.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/theory/quantifiers/term_util.cpp b/src/theory/quantifiers/term_util.cpp index a8abd41eb..7cebf0e1e 100644 --- a/src/theory/quantifiers/term_util.cpp +++ b/src/theory/quantifiers/term_util.cpp @@ -919,7 +919,7 @@ Node TermUtil::getTypeValueOffset(TypeNode tn, Node TermUtil::mkTypeConst(TypeNode tn, bool pol) { - return pol ? mkTypeValue(tn, 0) : mkTypeMaxValue(tn); + return pol ? mkTypeMaxValue(tn) : mkTypeValue(tn, 0); } bool TermUtil::isAntisymmetric(Kind k, Kind& dk) -- 2.30.2