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/arrays | |
| parent | a81eeba7318f4e72f90a64bbd0beb82e27b27148 (diff) | |
remove some debugging code that slowed down last night's regressions
Diffstat (limited to 'src/theory/arrays')
| -rw-r--r-- | src/theory/arrays/theory_arrays.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arrays/theory_arrays.cpp b/src/theory/arrays/theory_arrays.cpp index f82b6c670..601805343 100644 --- a/src/theory/arrays/theory_arrays.cpp +++ b/src/theory/arrays/theory_arrays.cpp @@ -384,7 +384,7 @@ Node TheoryArrays::recursivePreprocessTerm(TNode term) { Node TheoryArrays::preprocess(TNode atom) { if (d_donePreregister) return atom; - Assert(atom.getKind() == kind::EQUAL); + Assert(atom.getKind() == kind::EQUAL, "expected EQUAL, got %s", atom.toString().c_str()); return recursivePreprocessTerm(atom); } |