From 0ef14acf2e456475898b79866113d76556693f70 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 20 Jun 2017 14:25:56 -0700 Subject: [PATCH] fix build break Signed-off-by: Nikolaj Bjorner --- src/smt/theory_arith_aux.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/theory_arith_aux.h b/src/smt/theory_arith_aux.h index 670121328..679358932 100644 --- a/src/smt/theory_arith_aux.h +++ b/src/smt/theory_arith_aux.h @@ -1412,7 +1412,7 @@ namespace smt { << "max gain: " << max_gain << "\n";); - SASSERT(max_gain.is_minu + SASSERT(max_gain.is_minus_one() || max_gain.is_one()); SASSERT(min_gain.is_minus_one() || min_gain.is_one()); SASSERT(is_int(x) == min_gain.is_one());