errormsg: remove errorText

[hcoop/domtool2.git] / src / errormsg.sig

diff --git a/src/errormsg.sig b/src/errormsg.sig
index 5404f2e..bd04c40 100644 (file)
--- a/src/errormsg.sig
+++ b/src/errormsg.sig
@@ -7,7 +7,6 @@ signature ERRORMSG =
     val reset : unit -> unit
       
     val anyErrors : bool ref
-    val errorText : string ref
       
     val fileName : string ref
     val sourceStream : TextIO.instream ref
@@ -16,6 +15,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