From b7ba90910dfc06d89bf45b6ead9e40e9bf985fe1 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 9 Jun 2013 14:01:50 +0200
Subject: Fixed handling of $_XOR_ in SAT generator

---
 kernel/satgen.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/satgen.h b/kernel/satgen.h
index ec0805bb9..7b7a07707 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));
-- 
cgit v1.2.3