From 95df801fff9c60b4c69abba0a745011a43779c9f Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Tue, 12 Jun 2012 17:07:49 +0000 Subject: Fixed failing assertion in arrays for bug 347 --- src/theory/arrays/theory_arrays.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/theory') 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]; -- cgit v1.2.3