From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 17 Jun 2014 03:44:57 +0000 (-0400)
Subject: Fix rewriter typo.
X-Git-Tag: cvc5-1.0.0~6758^2~26
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8eea6505b6ba8f92abe076c14bed597eb2e0dbcf;p=cvc5.git

Fix rewriter typo.
---

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){