From 35cdae503bd88633a52333bf06fbf80cd81926e2 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 16 Jun 2014 23:44:57 -0400 Subject: [PATCH] Fix rewriter typo. --- src/theory/booleans/theory_bool_rewriter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/theory/booleans/theory_bool_rewriter.cpp b/src/theory/booleans/theory_bool_rewriter.cpp index ef415139d..b243627b2 100644 --- a/src/theory/booleans/theory_bool_rewriter.cpp +++ b/src/theory/booleans/theory_bool_rewriter.cpp @@ -233,7 +233,7 @@ RewriteResponse TheoryBoolRewriter::preRewrite(TNode n) { } else if (n[1][1] == t && n[1][0].isConst()) { matchesForm = true; - constantsEqual = (n[1][1] == c); + constantsEqual = (n[1][0] == c); } } if(matchesForm){ -- 2.30.2