diff --git a/src/util/lp/lar_solver.h b/src/util/lp/lar_solver.h
index 3f50a7996..2591a9fe7 100644
--- a/src/util/lp/lar_solver.h
+++ b/src/util/lp/lar_solver.h
@@ -451,7 +451,7 @@ public:
             if (kind == GE || kind == GT) n_of_G++;
             else if (kind == LE || kind == LT) n_of_L++;
         }
-        the_kind_of_sum = n_of_G? GE : LE;
+        the_kind_of_sum = n_of_G? GE : (n_of_L? LE : EQ);
         if (strict)
             the_kind_of_sum = static_cast<lconstraint_kind>((static_cast<int>(the_kind_of_sum)/2));