diff options
Diffstat (limited to 'parser.sig')
-rw-r--r-- | parser.sig | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |