X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicPushParser.ml;fp=helm%2Focaml%2Fcic%2FcicPushParser.ml;h=9a0566ec2e6048d3801b60a1f33dffda65b8db11;hb=c1564f164c3acee3b74593ebc2154d718db7856b;hp=4365184bb9858b90133f89df40e696ae14f29942;hpb=59f76964d65d638f6729d8dda41afac82f7a2901;p=helm.git

diff --git a/helm/ocaml/cic/cicPushParser.ml b/helm/ocaml/cic/cicPushParser.ml
index 4365184bb..9a0566ec2 100644
--- a/helm/ocaml/cic/cicPushParser.ml
+++ b/helm/ocaml/cic/cicPushParser.ml
@@ -645,6 +645,7 @@ let parse uri filename =
   with
   | Failure "int_of_string" -> parse_error ctxt "integer number expected"
   | Invalid_argument "bool_of_string" -> parse_error ctxt "boolean expected"
+  | P.Parse_error msg -> parse_error ctxt ("parse error: " ^ msg)
   | Parser_failure _
   | Getter_failure _ as exn ->
       raise exn