From 2e95a9d6b254ae1555cd47b9737549d1b031c2d4 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@microsoft.com>
Date: Thu, 6 Jul 2017 10:59:20 -0700
Subject: [PATCH] return a value from pivot_column_general

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
---
 src/util/lp/lp_core_solver_base.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/lp/lp_core_solver_base.hpp b/src/util/lp/lp_core_solver_base.hpp
index 03ae4e184..c2adb61c1 100644
--- a/src/util/lp/lp_core_solver_base.hpp
+++ b/src/util/lp/lp_core_solver_base.hpp
@@ -944,6 +944,7 @@ template <typename T, typename X> bool lp_core_solver_base<T, X>::pivot_column_g
     } else { // the tableau case
        return pivot_column_tableau(j, row_index);
     }
+    return true;
 }
 
 template <typename T, typename X>  void lp_core_solver_base<T, X>::pivot_fixed_vars_from_basis() {