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());