na

NikolajBjorner · NikolajBjorner · commit fe0b3d6648b7 · 2019-11-18T12:03:59.000-08:00
Signed-off-by: Nikolaj Bjorner &lt;nbjorner@microsoft.com&gt;
diff --git a/src/model/model.cpp b/src/model/model.cpp
@@ -215,7 +215,6 @@ struct model::top_sort : public ::top_sort<func_decl> {
 };
 
 void model::compress() {
-    SASSERT(false);
     if (m_cleaned) return;
 
     // stratify m_finterp and m_decls in a topological sort
