From bd777e731cc0bfc600086f144d753a870a6b2034 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 28 Mar 2017 13:10:45 +0100
Subject: Fix erroneous bitwise xor.

---
 src/gen_lib/sail_values.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/gen_lib/sail_values.ml b/src/gen_lib/sail_values.ml
index 401f78ae..e6a0226e 100644
--- a/src/gen_lib/sail_values.ml
+++ b/src/gen_lib/sail_values.ml
@@ -316,7 +316,7 @@ let bitwise_binop_bit op (l,r) =
 
 let bitwise_and_bit = bitwise_binop_bit (&&)
 let bitwise_or_bit = bitwise_binop_bit (||)
-let bitwise_xor_bit = bitwise_binop_bit (fun x y -> (1 = (if x then 1 else 0) lxor (if y then 0 else 1)))
+let bitwise_xor_bit = bitwise_binop_bit (fun x y -> (1 = (if x then 1 else 0) lxor (if y then 1 else 0)))
 
 let bitwise_binop op (l,r) =
   let bop l arrayl arrayr =
-- 
cgit v1.2.3