From 9ccb3fce8e390f09fa5b812a77f7a65c10c5e4b1 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Wed, 4 Jun 2025 20:45:08 +0200
Subject: Registration of declarations

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

(limited to 'ppc.sig')

diff --git a/ppc.sig b/ppc.sig
index 210489b..9d62895 100644
--- a/ppc.sig
+++ b/ppc.sig
@@ -15,6 +15,8 @@ signature PPC = sig
     Cop |
     Cexpr
 
+  val warning: tkPos -> ((bool * ((string -> unit) * (unit -> unit)))
+    * ('a * ((string -> unit) * (unit -> unit)) -> unit) -> 'c) -> 'c
   val clerror: tkPos -> tkClass list -> 'a
   val error: tkPos -> ((bool * ((string -> unit) * (unit -> unit)))
     * ('a * ((string -> unit) * (unit -> unit)) -> 'b) -> 'c) -> 'c
-- 
cgit v1.2.3