From fbee36d035eecf1c7a25e38e601a621913254a8a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 4 Jan 2016 20:42:07 -0800
Subject: [PATCH] remove debug asserts

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/muz/rel/dl_mk_simple_joins.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/muz/rel/dl_mk_simple_joins.cpp b/src/muz/rel/dl_mk_simple_joins.cpp
index d3c92b08c..b9febe53e 100644
--- a/src/muz/rel/dl_mk_simple_joins.cpp
+++ b/src/muz/rel/dl_mk_simple_joins.cpp
@@ -302,8 +302,6 @@ namespace datalog {
         }
 
         void remove_rule_from_pair(app_pair key, rule * r, unsigned original_len) {
-            SASSERT(m_costs.contains(key));
-            SASSERT(m_costs.find(key));
             pair_info * ptr = 0;
             if (m_costs.find(key, ptr) && ptr &&
                 ptr->remove_rule(r, original_len)) {