From 1dec5b825ea9ec6b375c634d73cbce0cfc0bd24f Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 6 Jul 2017 11:55:55 +0100
Subject: fix interpreter version of != which was broken for vector/range
 comparisons.

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

(limited to 'src')

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index dd39373d..353379fe 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -436,6 +436,8 @@ end)
 let neq = compose neg eq ;;
 
 let neq_vec = compose neg eq_vec
+let neq_vec_range = compose neg eq_vec_range
+let neq_range_vec = compose neg eq_range_vec
 
 let rec v_abs v = retaint v (match detaint v with
     | V_lit (L_aux arg la) ->
@@ -1030,8 +1032,8 @@ let library_functions direction = [
   ("eq_range", eq);
   ("neq", neq);
   ("neq_vec", neq_vec);
-  ("neq_vec_range", neq);
-  ("neq_range_vec", neq);
+  ("neq_vec_range", neq_vec_range);
+  ("neq_range_vec", neq_range_vec);
   ("neq_bit", neq);
   ("neq_range", neq);
   ("vec_concat", vec_concat);
-- 
cgit v1.2.3