X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/42198578566be256bbdebf22757f41edef4aa6ee..ebf47697644deafd0bde2dfb207b0048a8f2753c:/src/errormsg.sig

diff --git a/src/errormsg.sig b/src/errormsg.sig
index 5404f2e..12dbb6e 100644
--- a/src/errormsg.sig
+++ b/src/errormsg.sig
@@ -16,6 +16,7 @@ signature ERRORMSG =
     val linePos : int list ref
 
     val error : (int * int) option -> string -> unit
+    val warning : (int * int) option -> string -> unit
 
     val dummyLoc : int * int