fix interpreter version of != which was broken for vector/range comparisons.

1 files changed, 4 insertions, 2 deletions

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);