From 3d568063a49204193009ad6a2637176b38902525 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Wed, 14 May 2025 03:19:35 +0200 Subject: Printf --- tokenizer.sig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tokenizer.sig') diff --git a/tokenizer.sig b/tokenizer.sig index 7ea6f63..f79e62a 100644 --- a/tokenizer.sig +++ b/tokenizer.sig @@ -14,7 +14,7 @@ signature TOKENIZER = sig EOS | NewLine | MacroStart of string | - MacroEnd | + MacroEnd of string | Num of numConst | -- cgit v1.2.3