From fe0b3d6648b78ed165df5f79da25404f55b85962 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 18 Nov 2019 12:03:45 -0800
Subject: [PATCH] na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/model/model.cpp | 1 -
1 file changed, 1 deletion(-)
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