diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-16 23:44:57 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2014-06-19 18:24:39 -0400 |
commit | 35cdae503bd88633a52333bf06fbf80cd81926e2 (patch) | |
tree | 0a48603e65346d607fa5ff439480b59cc90bac13 | |
parent | 2faa605e3935f2d2048309934c307b7dc8546241 (diff) |
Fix rewriter typo.
-rw-r--r-- | src/theory/booleans/theory_bool_rewriter.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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){ |