From 143f8af3f878e73135ad6570b7b369409a641e13 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 21 Mar 2014 15:09:23 -0700
Subject: [PATCH] improved SLS

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/simplex/simplex.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/simplex/simplex.h b/src/math/simplex/simplex.h
index f5c3a4243..7a5ba2d70 100644
--- a/src/math/simplex/simplex.h
+++ b/src/math/simplex/simplex.h
@@ -91,7 +91,7 @@ namespace simplex {
             {}
         };
 
-        static const var_t null_var = UINT_MAX;
+        static const var_t null_var;
         mutable manager             m;
         mutable eps_manager         em;
         mutable matrix              M;