Fix mod_vec in library

1 files changed, 1 insertions, 1 deletions

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index 176a6e23..ac63aebf 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -150,7 +150,7 @@ let function_map = [
   ("minus", arith_op (-));
   ("minus_vec", arith_op_vec (-));
   ("mod", arith_op (mod));
-  ("mod_vec_range_range_range", arith_op_vec_range_range (mod));
+  ("mod_vec", arith_op_vec (mod));
   ("eq", eq);
   ("eq_vec_range", eq_vec_range);
   ("eq_range_vec", eq_range_vec);