More verbose in case of errors.

diff --git a/matita/matita/matitac.ml b/matita/matita/matitac.ml
index 67a1742f07dc4efbdd3daaa0f421e1c580a1742e..a93d694dcc240a2e17646cc14c3194c0e58c5344 100644 (file)
--- 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