From 47d9abb9652d7ad1a7896d3353bdeb0904d9827c Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 18 Jul 2017 20:55:08 +0000
Subject: Add remI

---
 ABC/Machine/BStack.dcl | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ABC/Machine/BStack.dcl')

diff --git a/ABC/Machine/BStack.dcl b/ABC/Machine/BStack.dcl
index 0af277b..900e856 100644
--- a/ABC/Machine/BStack.dcl
+++ b/ABC/Machine/BStack.dcl
@@ -36,4 +36,5 @@ bs_eqIi   :: Int BSrc BStack -> BStack
 bs_gtI    :: BStack -> BStack
 bs_ltI    :: BStack -> BStack
 bs_mulI   :: BStack -> BStack
+bs_remI   :: BStack -> BStack
 bs_subI   :: BStack -> BStack
-- 
cgit v1.2.3