Add definition of mod to lib

1 files changed, 2 insertions, 0 deletions

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