X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FhelmLibraryObjects.mli;h=0b380afbdb176bb92d85302eb49bd0e73f93d32a;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=6778798998598419319370e9973398c54ec8594f;hpb=27648d2118b1946f2c418b7a662387fb61f99cc6;p=helm.git

diff --git a/helm/ocaml/cic/helmLibraryObjects.mli b/helm/ocaml/cic/helmLibraryObjects.mli
index 677879899..0b380afbd 100644
--- 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
+