From 7cf0f556e3ef465ae4adf3691fcd3a77b2ae5a8c Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 22 Oct 2004 12:25:34 +0000 Subject: [PATCH] describe exception raised by term_of_uri --- helm/ocaml/cic/cicUtil.mli | 1 + 1 file changed, 1 insertion(+) 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 -- 2.39.2