From 84390575e2fc888e23baafa5928f191764a30497 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 12 Aug 2020 10:15:09 -0700
Subject: [PATCH] fix #4624

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/lp/nla_core.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
index 7950ffea1..06f9b9eeb 100644
--- 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;