diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-10-05 17:52:06 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-10-05 17:52:06 +0000 |
commit | ac622612653b3a5edfa981a9e3ef165f34258313 (patch) | |
tree | 077467cbd261c92febfee745933cc79100c93cba /src/theory/substitutions.cpp | |
parent | a81eeba7318f4e72f90a64bbd0beb82e27b27148 (diff) |
remove some debugging code that slowed down last night's regressions
Diffstat (limited to 'src/theory/substitutions.cpp')
-rw-r--r-- | src/theory/substitutions.cpp | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/theory/substitutions.cpp b/src/theory/substitutions.cpp index f235e16a4..301cb8d60 100644 --- a/src/theory/substitutions.cpp +++ b/src/theory/substitutions.cpp @@ -155,18 +155,6 @@ Node SubstitutionMap::apply(TNode t) { Debug("substitution") << "-- reset the cache" << std::endl; } - SubstitutionMap::NodeMap::const_iterator it = d_substitutions.begin(); - SubstitutionMap::NodeMap::const_iterator it_end = d_substitutions.end(); - for (; it != it_end; ++ it) { - Debug("substitution") << "substs has ( " << (*it).first << " => " << (*it).second << " )" << std::endl; - } - - SubstitutionMap::NodeCache::const_iterator iit = d_substitutionCache.begin(); - SubstitutionMap::NodeCache::const_iterator iit_end = d_substitutionCache.end(); - for (; iit != iit_end; ++ iit) { - Debug("substitution") << "CACHE has ( " << (*iit).first << " => " << (*iit).second << " )" << std::endl; - } - // Perform the substitution Node result = internalSubstitute(t, d_substitutionCache); Debug("substitution") << "SubstitutionMap::apply(" << t << ") => " << result << std::endl; |