From b8d08b54a0dc3e05cf557e9f5f0d375b1330fed6 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Dejan=20Jovanovi=C4=87?= Date: Wed, 6 Jun 2012 16:03:37 +0000 Subject: [PATCH] disabling a super-expensive assertions to speed up debug runs --- src/theory/substitutions.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/theory/substitutions.cpp b/src/theory/substitutions.cpp index f56dd47b6..df4c919d8 100644 --- 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; } -- 2.30.2