From 249d3513317ddb73e60ebeb8576d3d8bed79807b Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Wed, 2 Apr 2014 16:59:18 +0100
Subject: eq and neq return bit, not bool

---
 src/lem_interp/interp_lib.lem | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index 2a1095b6..dd7a1cf0 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -10,11 +10,11 @@ let compose f g x = f (V_tuple [g x]) ;;
 
 let is_one (V_lit (L_aux b lb)) = V_lit (L_aux (if b = L_one then L_true else L_false) lb) ;;
 
-let eq (V_tuple [x; y]) = V_lit (L_aux (if x = y then L_true else L_false) Unknown) ;;
+let eq (V_tuple [x; y]) = V_lit (L_aux (if x = y then L_one else L_zero) Unknown) ;;
 
 let neg (V_tuple [V_lit (L_aux arg la)]) = V_lit (L_aux (match arg with
-  | L_true -> L_false
-  | L_false -> L_true end) la) ;;
+  | L_one -> L_zero
+  | L_zero -> L_one end) la) ;;
 
 let neq = compose neg eq ;;
 
-- 
cgit v1.2.3