From b3f716fc402e2508a2ae1183fcfebebd2c95d6a3 Mon Sep 17 00:00:00 2001 From: ajreynol Date: Mon, 15 May 2017 11:44:15 -0500 Subject: Fix bug 806. Minor fixes to remove term formula pass. --- src/expr/datatype.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/expr') diff --git a/src/expr/datatype.cpp b/src/expr/datatype.cpp index 8a6d5d4a3..f80961cf8 100644 --- a/src/expr/datatype.cpp +++ b/src/expr/datatype.cpp @@ -601,7 +601,7 @@ bool Datatype::getSygusAllowConst() const { } bool Datatype::getSygusAllowAll() const { - return d_sygus_allow_const; + return d_sygus_allow_all; } Expr Datatype::getSygusEvaluationFunc() const { -- cgit v1.2.3