From 6a6ac097204ca9c7dffe6bd8bda2f970fac7876b Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 4 Feb 2016 11:59:18 +0000
Subject: add forgotten lib binding

---
 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 400bbd8e..03c59edf 100644
--- a/src/lem_interp/interp_lib.lem
+++ b/src/lem_interp/interp_lib.lem
@@ -689,6 +689,7 @@ let library_functions direction = [
   ("mod_vec", arith_op_vec_no0 hardware_mod "mod" Unsigned 1);
   ("mod_vec_range", arith_op_vec_range_no0 hardware_mod "mod" Unsigned 1);
   ("quot", arith_op_no0 hardware_quot);
+  ("quot_signed", arith_op_no0 hardware_quot);
   ("quot_vec", arith_op_vec_no0 hardware_quot "quot" Unsigned 1);
   ("quot_overflow_vec", arith_op_overflow_vec_no0 hardware_quot "quot" Unsigned 1);
   ("quot_vec_signed", arith_op_vec_no0 hardware_quot "quot" Signed 1);
-- 
cgit v1.2.3