From 6a3527bd669e96a3aa2f8bbcaa0cf569232ae696 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Dejan=20Jovanovi=C4=87?= Date: Sat, 3 Sep 2011 00:42:34 +0000 Subject: [PATCH] removing an assert i forgot to remove that andy found --- src/theory/uf/equality_engine_impl.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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::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::getExplanation(EqualityNodeId t1Id, EqualityNo if (t1Id == t2Id) return; if (Debug.isOn("equality::internal")) { - const_cast(this)->debugPrintGraph(); + debugPrintGraph(); } // Queue for the BFS containing nodes -- 2.30.2