X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/a22c187b7b983dad6b0e2c34cd0ab74e95c2411b..6ae327f88a6be8efd02cfe4b713444f9f3ac2672:/src/parse.sml

diff --git a/src/parse.sml b/src/parse.sml
index 5a5ce3f..90cf07c 100644
--- a/src/parse.sml
+++ b/src/parse.sml
@@ -14,7 +14,7 @@
  * You should have received a copy of the GNU General Public License
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
-*)
+ *)
 
 (* Domtool configuration language parser *)
 
@@ -29,7 +29,7 @@ structure Parse :> PARSE =
 
   (* The main parsing routine *)
   fun parse filename =
-    let val _ = (ErrorMsg.reset(); ErrorMsg.fileName := filename)
+    let val _ = ErrorMsg.fileName := filename
 	val file = TextIO.openIn filename
 	fun get _ = TextIO.input file
 	fun parseerror(s,p1,p2) = ErrorMsg.error (SOME (p1,p2)) s