fix soundness bug in disabled code

Z3Prover · Apr 16, 2023 · 97b66d1 · 97b66d1
1 parent b75d81f
commit 97b66d1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/math/lp/gomory.cpp b/src/math/lp/gomory.cpp
@@ -390,6 +390,7 @@ int gomory::find_basic_var() {
     const row_strip<mpq>& row = lra.get_row(lia.row_of_basic_column(result));
     if (is_gomory_cut_target(row)) 
         return result;
+    result = -1;
 #endif
 
     for (unsigned j : lra.r_basis()) {