From a478f95999788b2266134bc64015fdf3f096e1db Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 14 Aug 2018 10:56:52 -0700
Subject: [PATCH] remove debug assert

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

diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp
index e889d0233..11a15492c 100644
--- a/src/ast/ast.cpp
+++ b/src/ast/ast.cpp
@@ -1056,7 +1056,6 @@ sort* basic_decl_plugin::join(sort* s1, sort* s2) {
         return s2;
     }
     std::ostringstream buffer;
-    SASSERT(false);
     buffer << "Sorts " << mk_pp(s1, *m_manager) << " and " << mk_pp(s2, *m_manager) << " are incompatible";
     throw ast_exception(buffer.str());
 }