diff options
Diffstat (limited to 'src/lem_interp/interp_lib.lem')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index ac63aebf..a95f4c01 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -151,6 +151,7 @@ let function_map = [ ("minus_vec", arith_op_vec (-)); ("mod", arith_op (mod)); ("mod_vec", arith_op_vec (mod)); + ("mod_vec_range", arith_op_vec_range (mod)); ("eq", eq); ("eq_vec_range", eq_vec_range); ("eq_range_vec", eq_range_vec); |