From 1b274e50f85762d0d894227f8fb8c72c29bf20f8 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Mon, 21 Aug 2017 18:33:29 -0700 Subject: Cleanup: use Assert rather than C assert. (#1052) --- src/theory/strings/theory_strings.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/theory/strings') diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index 24358182f..babf77a74 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -3508,8 +3508,8 @@ Node TheoryStrings::mkExplain( std::vector< Node >& a, std::vector< Node >& an ) Debug("strings-explain") << "Ask for explanation of " << a[i] << std::endl; //assert if(a[i].getKind() == kind::EQUAL) { - //assert( hasTerm(a[i][0]) ); - //assert( hasTerm(a[i][1]) ); + //Assert( hasTerm(a[i][0]) ); + //Assert( hasTerm(a[i][1]) ); Assert( areEqual(a[i][0], a[i][1]) ); if( a[i][0]==a[i][1] ){ exp = false; -- cgit v1.2.3