X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FcicParser.ml;fp=helm%2Finterface%2FcicParser.ml;h=a034cc2e3a223cb72c79b370639ec351ead17bdb;hb=b276e71d04d5bc981b710b2ba793ccf157c256d7;hp=ec8c5efb8baad0f92b8db716cd18ad49191e0083;hpb=ed48e54d2bd1a483edb14fad9f4dcefe4f9076f6;p=helm.git

diff --git a/helm/interface/cicParser.ml b/helm/interface/cicParser.ml
index ec8c5efb8..a034cc2e3 100644
--- a/helm/interface/cicParser.ml
+++ b/helm/interface/cicParser.ml
@@ -64,6 +64,7 @@ let term_of_xml filename uri process_annotations =
        res
   with
    e ->
+     print_endline ("Filename: " ^ filename ^ "\nException: ") ;
      print_endline (Pxp_types.string_of_exn e) ;
      raise e
 ;;