From 8905c0b1cc1fdef571ac2c994d5e24520ce51288 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Wed, 13 Aug 2025 03:21:45 +0200
Subject: Driver

---
 parser.sig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'parser.sig')

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
 
-- 
cgit v1.2.3