From c482297de03ebaea8d745a92237d24556273fb53 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 23 Mar 2011 15:54:49 +0000
Subject: [PATCH] More verbose in case of errors.

---
 matita/matita/matitac.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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
-- 
2.39.2