summaryrefslogtreecommitdiff
path: root/emit.sig
diff options
context:
space:
mode:
Diffstat (limited to 'emit.sig')
-rw-r--r--emit.sig2
1 files changed, 1 insertions, 1 deletions
diff --git a/emit.sig b/emit.sig
index 9b0d88d..ecd26f4 100644
--- a/emit.sig
+++ b/emit.sig
@@ -2,5 +2,5 @@ signature EMIT = sig
structure I: IL
- val emit: string -> I.ctx -> unit
+ val emit: string -> I.ctx -> string option -> unit
end