From c7b9060464ead8fac71824b151c25a968cb25302 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 4 Apr 2017 10:37:10 +0100
Subject: fix incorrect use of == in eq

---
 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 a2f1286a..21aa48c3 100644
--- a/src/gen_lib/sail_values.ml
+++ b/src/gen_lib/sail_values.ml
@@ -1146,7 +1146,7 @@ let gt_range_vec   = gt_range_vec_big
 let lteq_range_vec = lteq_range_vec_big 
 let gteq_range_vec = gteq_range_vec_big 
 
-let eq (l,r) = if l == r then Vone else Vzero
+let eq (l,r) = if l = r then Vone else Vzero
 let eq_vec_vec (l,r) = eq (to_num_big true l, to_num_big true r)
 let eq_vec (l,r) = eq_vec_vec(l,r)
 let eq_vec_range (l,r) = eq (to_num_big false l,r)
-- 
cgit v1.2.3