errormsg: remove errorText

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

diff --git a/src/errormsg.sig b/src/errormsg.sig
index 12dbb6e..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 reset : unit -> unit
       
     val anyErrors : bool ref

-    val errorText : string ref

       
     val fileName : string ref
     val sourceStream : TextIO.instream ref
       
     val fileName : string ref
     val sourceStream : TextIO.instream ref