exported term_of_uri

diff --git a/helm/ocaml/cic/helmLibraryObjects.mli b/helm/ocaml/cic/helmLibraryObjects.mli
index 6778798998598419319370e9973398c54ec8594f..0b380afbdb176bb92d85302eb49bd0e73f93d32a 100644 (file)
--- a/helm/ocaml/cic/helmLibraryObjects.mli
+++ b/helm/ocaml/cic/helmLibraryObjects.mli
@@ -180,3 +180,6 @@ val build_bin_pos : int -> Cic.term
 val build_nat :     int -> Cic.term
 val build_real :    int -> Cic.term
 
+val term_of_uri :
+  ?subst:Cic.term Cic.explicit_named_substitution -> UriManager.uri -> Cic.term
+