From 8566d88b992610060a6523f28272d3384a2f2471 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 20 Jan 2019 12:49:04 -0800
Subject: [PATCH] remove validation assert

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

diff --git a/src/opt/opt_context.cpp b/src/opt/opt_context.cpp
index 98884d311..cc1456ac9 100644
--- a/src/opt/opt_context.cpp
+++ b/src/opt/opt_context.cpp
@@ -1654,7 +1654,7 @@ namespace opt {
                 maxsmt& ms = *m_maxsmts.find(obj.m_id);
                 rational value0 = ms.get_lower();
                 TRACE("opt", tout << "value " << value << " other " << value0 << "\n";);
-                SASSERT(value0 == value);
+                // TBD SASSERT(value0 == value);
                 break;
             }
             }