diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-09-03 00:42:34 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-09-03 00:42:34 +0000 |
| commit | 6a3527bd669e96a3aa2f8bbcaa0cf569232ae696 (patch) | |
| tree | ee1c461e33a8319ca713616781d51bba0bd1f210 /src | |
| parent | 1d18e5ebed9a5b20ed6a8fe21d11842acf6fa7ea (diff) | |
removing an assert i forgot to remove that andy found
Diffstat (limited to 'src')
| -rw-r--r-- | src/theory/uf/equality_engine_impl.h | 3 |
1 files changed, 1 insertions, 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<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 |