diff --git a/src/model/model.cpp b/src/model/model.cpp
index 01dbbae57..31d63ab8e 100644
--- 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