diff options
Diffstat (limited to 'src/theory')
-rw-r--r-- | src/theory/strings/theory_strings.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index 34ca52419..e8985e074 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -2283,7 +2283,7 @@ void TheoryStrings::checkDeqNF() { for( unsigned k=(j+1); k<cols[i].size(); k++ ){ Assert( !d_conflict ); if( !areDisequal( cols[i][j], cols[i][k] ) ){ - sendSplit( cols[i][j], cols[i][k], "D-NORM", false ); + sendSplit( cols[i][j], cols[i][k], "D-NORM", true ); return; }else{ Trace("strings-solve") << "- Compare "; |