X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicUtil.mli;h=ba9bab63d12d7997ed6b252ae6f3edd6a211269e;hb=3bec70852905f57198cd5b659dc72d430c1c5d2c;hp=29657f401874ca46c865727666ffec8295bd02e7;hpb=e51a16c072144e4cabc8fc70841aa4e94a9325b6;p=helm.git

diff --git a/helm/ocaml/cic/cicUtil.mli b/helm/ocaml/cic/cicUtil.mli
index 29657f401..ba9bab63d 100644
--- a/helm/ocaml/cic/cicUtil.mli
+++ b/helm/ocaml/cic/cicUtil.mli
@@ -36,5 +36,6 @@ val clean_up_local_context :
 val is_closed : Cic.term -> bool
 val is_meta_closed : Cic.term -> bool
 
+  (** @raise UriManager.IllFormedUri *)
 val term_of_uri: string -> Cic.term