From 2a1cfad37d5e87b2d7eb3c9da16db66364a9b9a3 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Tue, 20 May 2025 01:15:06 +0200 Subject: #pragma support --- ppc.sig | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'ppc.sig') diff --git a/ppc.sig b/ppc.sig index eaddbe5..ce7a720 100644 --- a/ppc.sig +++ b/ppc.sig @@ -14,7 +14,6 @@ signature PPC = sig Cop val create: { fname: string, incDirs: string list, debugMode: bool } -> t + val getToken: t -> T.token * tkPos * t val debugPrint: string -> string list -> unit - - val getClass: t -> tkClass list -> T.token * tkPos * t end -- cgit v1.2.3