From 8eea6505b6ba8f92abe076c14bed597eb2e0dbcf Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
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