X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatitac.ml;h=bb796db1e79d8f005630d227cfacd8bdee3437a7;hb=f38e8fafcf040258b54b4032562753a876a8a94e;hp=3f394cdb1108e9dc70158ad99d51c66b714bccc0;hpb=e3c0cc9893402419e363ad6616a599f194438273;p=helm.git

diff --git a/helm/matita/matitac.ml b/helm/matita/matitac.ml
index 3f394cdb1..bb796db1e 100644
--- a/helm/matita/matitac.ml
+++ b/helm/matita/matitac.ml
@@ -87,7 +87,14 @@ let run_script fname =
   message (sprintf "execution of %s started:" fname);
   let script =
     let ic = open_in fname in
-    let ast = snd (CicTextualParser2.parse_script (Stream.of_channel ic)) in
+    let ast = 
+      try 
+        snd (CicTextualParser2.parse_script (Stream.of_channel ic)) 
+      with
+        exn -> 
+          error (explain exn); 
+          assert false (* should be something like (Unix.exit 1) *)
+    in
     close_in ic;
     ast
   in