summaryrefslogtreecommitdiff
path: root/parser.sig
diff options
context:
space:
mode:
Diffstat (limited to 'parser.sig')
-rw-r--r--parser.sig2
1 files changed, 1 insertions, 1 deletions
diff --git a/parser.sig b/parser.sig
index 0406052..47dc5b8 100644
--- a/parser.sig
+++ b/parser.sig
@@ -145,7 +145,7 @@ signature PARSER = sig
(* Objects are in reverse order *)
datatype def = Objects of objDef list | Definition of funcInfo
- val createCtx: string -> string list -> bool -> ctx
+ val createCtx: string -> string list -> string option -> ctx
val parseDef: ctx -> bool * ctx
val printDef: def -> unit