summaryrefslogtreecommitdiff
path: root/il.sig
diff options
context:
space:
mode:
Diffstat (limited to 'il.sig')
-rw-r--r--il.sig2
1 files changed, 1 insertions, 1 deletions
diff --git a/il.sig b/il.sig
index 4136222..4705c1b 100644
--- a/il.sig
+++ b/il.sig
@@ -92,5 +92,5 @@ signature IL = sig
strlits: int list
}
- val createCtx: P.progInfo -> ctx
+ val createCtx: P.progInfo -> string option -> ctx
end