1 files changed, 2 insertions, 1 deletions
diff --git a/il.sig b/il.sig
index 745f72f..5f4c56d 100644
--- a/il.sig
+++ b/il.sig
@@ -77,9 +77,10 @@ signature IL = sig
 
   datatype funcInfo = Fi of {
     name: int,
+    paramNum: int,
     localBound: int,
     vregs: regInfo D.t,
-    ops: (irIns option) D.t,
+    ops: (irIns option * (label * label) option) D.t,
     labels: int option D.t
   }