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