X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/4648ee8ad333857882bddff03099bf870d42e19a..7dbe2779d37da17210a94468cef25f10ae6837fc:/src/errormsg.sig

diff --git a/src/errormsg.sig b/src/errormsg.sig
index 12dbb6e..bd04c40 100644
--- 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