From e532657d77d1702058b45ba232103b4ad27fca86 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 10 Aug 2015 11:01:46 +0200
Subject: [PATCH] .. adding core validation debug option to ease diagnose issue
 #158

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_context_inv.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/smt_context_inv.cpp b/src/smt/smt_context_inv.cpp
index 01641e166..dabeab401 100644
--- a/src/smt/smt_context_inv.cpp
+++ b/src/smt/smt_context_inv.cpp
@@ -422,7 +422,6 @@ namespace smt {
         case l_false:
             break;
         default: 
-            UNREACHABLE();
             throw default_exception("Core could not be validated");
         }
     }