From b9a695633d58590d95341d675d07955e0df7df54 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 11 May 2017 08:16:24 -0700
Subject: [PATCH] fix build issues part 4

---
 src/util/lp/init_lar_solver.h | 3 +++
 1 file changed, 3 insertions(+)

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;
     }
 }