disabling a super-expensive assertions to speed up debug runs

diff --git a/src/theory/substitutions.cpp b/src/theory/substitutions.cpp
index f56dd47b625e895b3995603a947ddbaabc6891c1..df4c919d8e8a662520d29ade2199ec7c8e38d5f5 100644 (file)
--- a/src/theory/substitutions.cpp
+++ b/src/theory/substitutions.cpp
@@ -168,7 +168,7 @@ Node SubstitutionMap::apply(TNode t) {
   Node result = internalSubstitute(t, d_substitutionCache);
   Debug("substitution") << "SubstitutionMap::apply(" << t << ") => " << result << std::endl;
 
-  Assert(check(result, d_substitutions));
+//  Assert(check(result, d_substitutions));
 
   return result;
 }