projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1700ae2)
Fix rewriter typo.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 17 Jun 2014 03:44:57 +0000 (23:44 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 17 Jun 2014 13:06:31 +0000 (09:06 -0400)
src/theory/booleans/theory_bool_rewriter.cpp patch | blob | history

diff --git a/src/theory/booleans/theory_bool_rewriter.cpp b/src/theory/booleans/theory_bool_rewriter.cpp
index ef415139d868ce65b910c33cccc8504768601f2d..b243627b226a11d6c0baeef6f3247f632fb20bcc 100644 (file)
--- 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){