From 2d09c6299ae9601499228665a89da065ecd390ae Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 15 Jun 2005 15:43:06 +0000
Subject: [PATCH] a parser error is now logged as an error!

---
 helm/matita/matitac.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/matita/matitac.ml b/helm/matita/matitac.ml
index d93002183..e7cdef9f4 100644
--- a/helm/matita/matitac.ml
+++ b/helm/matita/matitac.ml
@@ -76,7 +76,7 @@ let run_script fname =
   with
   | CicTextualParser2.Parse_error (floc,err) ->
      let (x, y) = CicAst.loc_of_floc floc in
-     MatitaLog.message (sprintf "Parse error at %d-%d: %s" x y err);
+     MatitaLog.error (sprintf "Parse error at %d-%d: %s" x y err);
      Http_getter.sync_dump_file ();
      exit 1
   | exn -> 
-- 
2.39.2