X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/42198578566be256bbdebf22757f41edef4aa6ee..36c7edfaef58ec4368a43590de7307d2920cccc6:/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