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/Instructions.icl | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'ABC/Machine/Instructions.icl') diff --git a/ABC/Machine/Instructions.icl b/ABC/Machine/Instructions.icl index 3ca55af..42dcb62 100644 --- a/ABC/Machine/Instructions.icl +++ b/ABC/Machine/Instructions.icl @@ -385,6 +385,10 @@ mulI :: State -> State mulI st=:{bstack} = {st & bstack=bs_mulI bstack} +remI :: State -> State +remI st=:{bstack} + = {st & bstack=bs_remI bstack} + subI :: State -> State subI st=:{bstack} = {st & bstack=bs_subI bstack} -- cgit v1.2.3