summaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-06-09 14:01:50 +0200
committerClifford Wolf <clifford@clifford.at>2013-06-09 14:01:50 +0200
commitb7ba90910dfc06d89bf45b6ead9e40e9bf985fe1 (patch)
tree9621581b14d985a86aa1c867760e48fde7723880 /kernel
parent0efde137752bc359630bf999be2c4b367870c54d (diff)
Fixed handling of $_XOR_ in SAT generator
Diffstat (limited to 'kernel')
-rw-r--r--kernel/satgen.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h
index ec0805bb..7b7a0770 100644
--- a/kernel/satgen.h
+++ b/kernel/satgen.h
@@ -107,7 +107,7 @@ struct SatGen
ez->assume(ez->vec_eq(ez->vec_and(a, b), y));
if (cell->type == "$or" || cell->type == "$_OR_")
ez->assume(ez->vec_eq(ez->vec_or(a, b), y));
- if (cell->type == "$xor" || cell->type == "$_XOR")
+ if (cell->type == "$xor" || cell->type == "$_XOR_")
ez->assume(ez->vec_eq(ez->vec_xor(a, b), y));
if (cell->type == "$xnor")
ez->assume(ez->vec_eq(ez->vec_not(ez->vec_xor(a, b)), y));