From 4fb729a7d2ff62487e9598db8637b54caac35c64 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 25 Jan 2019 20:27:32 -0800 Subject: [PATCH] value() Signed-off-by: Nikolaj Bjorner --- src/opt/maxlex.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/opt/maxlex.cpp b/src/opt/maxlex.cpp index 1604db161..d8dab9a03 100644 --- a/src/opt/maxlex.cpp +++ b/src/opt/maxlex.cpp @@ -141,7 +141,7 @@ namespace opt { if (soft.value == l_true) { continue; } - SASSERT(soft.value() == l_undef); + SASSERT(soft.value == l_undef); expr* a = soft.s; lbool is_sat = s().check_sat(1, &a); switch (is_sat) { @@ -169,7 +169,7 @@ namespace opt { if (soft.value != l_undef) { continue; } - SASSERT(soft.value() == l_undef); + SASSERT(soft.value == l_undef); if (i + 1 == sz) { expr* a = soft.s; lbool is_sat = s().check_sat(1, &a);