diff options
Diffstat (limited to 'ABC/Machine/Instructions.dcl')
| -rw-r--r-- | ABC/Machine/Instructions.dcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ABC/Machine/Instructions.dcl b/ABC/Machine/Instructions.dcl index f0cc5b2..5140c98 100644 --- a/ABC/Machine/Instructions.dcl +++ b/ABC/Machine/Instructions.dcl @@ -62,4 +62,5 @@ gtI :: State -> State incI :: State -> State ltI :: State -> State mulI :: State -> State +remI :: State -> State subI :: State -> State |