diff --git a/src/util/lp/init_lar_solver.h b/src/util/lp/init_lar_solver.h
index 301516dee..3fc29f25b 100644
--- a/src/util/lp/init_lar_solver.h
+++ b/src/util/lp/init_lar_solver.h
@@ -231,6 +231,9 @@ void adjust_initial_state() {
         break;
     case simplex_strategy_enum::tableau_costs:
         lean_assert(false); // not implemented
+    case simplex_strategy_enum::undecided:
+        adjust_initial_state_for_tableau_rows();
+        break;
     }
 }