From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 23 Mar 2011 15:54:49 +0000 (+0000)
Subject: More verbose in case of errors.
X-Git-Tag: make_still_working~2546
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c482297de03ebaea8d745a92237d24556273fb53;p=helm.git

More verbose in case of errors.
---

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