fix #4624

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Aug 12, 2020 · 8439057 · 8439057
1 parent 11d5b50
commit 8439057
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
@@ -1862,6 +1862,7 @@ unsigned core::get_var_weight(lpvar j) const {
     case lp::column_type::lower_bound:
     case lp::column_type::upper_bound:
         k = 4;
+        break;
     case lp::column_type::free_column:
         k = 6;
         break;