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

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