From: Stefano Zacchiroli Date: Fri, 22 Oct 2004 12:25:34 +0000 (+0000) Subject: describe exception raised by term_of_uri X-Git-Tag: V_0_0_10~40 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7cf0f556e3ef465ae4adf3691fcd3a77b2ae5a8c;p=helm.git describe exception raised by term_of_uri --- 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