X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic%2FcicParser.ml;h=8334ccfb62e65aac3e4162731b23d2b3078b5597;hb=c3f967910eca5648fd69886166c66ddd49d92b54;hp=49a5a1ab7cc5d3c48e6a9b9a15a04aca4d0f122f;hpb=8402a4a856b031916b1e2b1354b863933763fa58;p=helm.git

diff --git a/helm/software/components/cic/cicParser.ml b/helm/software/components/cic/cicParser.ml
index 49a5a1ab7..8334ccfb6 100644
--- a/helm/software/components/cic/cicParser.ml
+++ b/helm/software/components/cic/cicParser.ml
@@ -772,7 +772,7 @@ let parse uri filename =
   | Getter_failure _ as exn ->
       raise exn
   | exn ->
-      raise (Parser_failure ("uncaught exception: " ^ Printexc.to_string exn))
+      raise (Parser_failure ("CicParser: uncaught exception: " ^ Printexc.to_string exn))
 
 (** {2 API implementation} *)