aboutsummaryrefslogtreecommitdiff
path: root/Def.dcl
diff options
context:
space:
mode:
authorCamil Staps2016-07-01 08:30:37 +0200
committerCamil Staps2016-07-01 08:30:37 +0200
commit4d7a4800346e3084c62df811bde83aa56fd7de9d (patch)
treeada02323e0c6a8f800c3f215781e4e415235d6a3 /Def.dcl
parentDescriptors, Program (diff)
Fixes
Diffstat (limited to 'Def.dcl')
-rw-r--r--Def.dcl1
1 files changed, 1 insertions, 0 deletions
diff --git a/Def.dcl b/Def.dcl
index a0c3f6c..9249ab0 100644
--- a/Def.dcl
+++ b/Def.dcl
@@ -24,6 +24,7 @@ from ABC.IO import ::IO
:: DescId :== Int
:: InstrId :== Int
:: Name :== String
+:: Arity :== Int
:: Instruction :== State -> State