From 396ebf0c76153e5e1e9dc77371bdd02b4d3d85d1 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Mon, 4 Aug 2025 15:12:55 +0200
Subject: Flattening of initializers

---
 tokenizer.sig | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tokenizer.sig')

diff --git a/tokenizer.sig b/tokenizer.sig
index 958619a..e436374 100644
--- a/tokenizer.sig
+++ b/tokenizer.sig
@@ -120,6 +120,8 @@ signature TOKENIZER = sig
   val getToken: token ST.t -> S.t -> token * S.pos * S.t
   val Ptk: (token ST.t, token, 'a, 'b, 'c) a2printer
 
+  val strlit2charList: string -> char list
+
   val isPpcDir: token -> bool
   val debugPrint: string -> unit
 end
-- 
cgit v1.2.3