From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Sat, 3 Sep 2011 00:42:34 +0000 (+0000)
Subject: removing an assert i forgot to remove that andy found
X-Git-Tag: cvc5-1.0.0~8483
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6a3527bd669e96a3aa2f8bbcaa0cf569232ae696;p=cvc5.git

removing an assert i forgot to remove that andy found
---

diff --git a/src/theory/uf/equality_engine_impl.h b/src/theory/uf/equality_engine_impl.h
index bea6ff9a9..1a4673be9 100644
--- a/src/theory/uf/equality_engine_impl.h
+++ b/src/theory/uf/equality_engine_impl.h
@@ -390,7 +390,6 @@ void EqualityEngine<NotifyClass>::undoMerge(EqualityNode& class1, EqualityNode&
       EqualityNodeId bNormalized = getEqualityNode(fun.b).getFind();
       FunctionApplication funNormalized(aNormalized, bNormalized);
       typename ApplicationIdsMap::iterator find = d_applicationLookup.find(funNormalized);
-      Assert(find != d_applicationLookup.end());
       // If the id doesn't exist, we'll set it
       if (find == d_applicationLookup.end()) {
         d_applicationLookup[funNormalized] = funId;
@@ -524,7 +523,7 @@ void EqualityEngine<NotifyClass>::getExplanation(EqualityNodeId t1Id, EqualityNo
   if (t1Id == t2Id) return;
 
   if (Debug.isOn("equality::internal")) {
-    const_cast<EqualityEngine*>(this)->debugPrintGraph();
+    debugPrintGraph();
   }
 
   // Queue for the BFS containing nodes