X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatitac.ml;h=a93d694dcc240a2e17646cc14c3194c0e58c5344;hb=2327897158cc01b63c68d3b82872c17159fbb8e6;hp=67a1742f07dc4efbdd3daaa0f421e1c580a1742e;hpb=2e17165ef9e63367cc290ad555145b4c22a4582b;p=helm.git

diff --git a/matita/matita/matitac.ml b/matita/matita/matitac.ml
index 67a1742f0..a93d694dc 100644
--- a/matita/matita/matitac.ml
+++ b/matita/matita/matitac.ml
@@ -56,8 +56,9 @@ let main_compiler () =
      (try
        ignore (MatitaEngine.assert_ng ~include_paths:[] t); true
       with
-       MatitaEngine.FailureCompiling _ -> false) && b
-     ) true targets
+       MatitaEngine.FailureCompiling (_,exn) ->
+        HLog.error (snd (MatitaExcPp.to_string exn)); false) && b
+   ) true targets
   then 
     (HLog.message "Compilation successful"; 0)
   else