From e148fa2ae5686c13d319d960c798cc542066be8c Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Fri, 5 Feb 2016 13:13:18 +0000
Subject: change signed mod behaviour for numbers to match that of vectors

---
 src/lem_interp/interp_lib.lem | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem
index d494ab12..c16b6c3d 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -686,6 +686,7 @@ let library_functions direction = [
   ("bitwise_rightshift", shift_op_vec ">>");
   ("bitwise_rotate", shift_op_vec "<<<");
   ("modulo", arith_op_no0 (mod));
+  ("mod_signed", arith_op_no0 hardwaer_mod);
   ("mod_vec", arith_op_vec_no0 hardware_mod "mod" Unsigned 1);
   ("mod_vec_range", arith_op_vec_range_no0 hardware_mod "mod" Unsigned 1);
   ("mod_signed_vec", arith_op_vec_no0 hardware_mod "mod" Signed 1);
-- 
cgit v1.2.3