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