diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 6 |
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); |