First very partial implementation of LetIn and bodyed Variables

[helm.git] / helm / interface / cicParser.ml

diff --git a/helm/interface/cicParser.ml b/helm/interface/cicParser.ml
index ec8c5efb8baad0f92b8db716cd18ad49191e0083..a034cc2e3a223cb72c79b370639ec351ead17bdb 100644 (file)
--- 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
 ;;