1 files changed, 2 insertions, 0 deletions
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