diff options
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/arrays/theory_arrays.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/arrays/theory_arrays.cpp b/src/theory/arrays/theory_arrays.cpp index 376a7e90f..0e791e39c 100644 --- a/src/theory/arrays/theory_arrays.cpp +++ b/src/theory/arrays/theory_arrays.cpp @@ -539,9 +539,9 @@ void TheoryArrays::computeCareGraph() TNode r1 = d_reads[i]; // Make sure shared terms were identified correctly - Assert(theoryOf(r1[0]) == THEORY_ARRAY || isShared(r1[0])); - Assert(theoryOf(r1[1]) == THEORY_ARRAY || - d_sharedOther.find(r1[1]) != d_sharedOther.end()); + // Assert(theoryOf(r1[0]) == THEORY_ARRAY || isShared(r1[0])); + // Assert(theoryOf(r1[1]) == THEORY_ARRAY || + // d_sharedOther.find(r1[1]) != d_sharedOther.end()); for (unsigned j = i + 1; j < size; ++ j) { TNode r2 = d_reads[j]; |