describe exception raised by term_of_uri

diff --git a/helm/ocaml/cic/cicUtil.mli b/helm/ocaml/cic/cicUtil.mli
index 29657f401874ca46c865727666ffec8295bd02e7..ba9bab63d12d7997ed6b252ae6f3edd6a211269e 100644 (file)
--- 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