ocaml 3.09 transition

[helm.git] / helm / ocaml / cic / helmLibraryObjects.mli

diff --git a/helm/ocaml/cic/helmLibraryObjects.mli b/helm/ocaml/cic/helmLibraryObjects.mli
index 0b380afbdb176bb92d85302eb49bd0e73f93d32a..6778798998598419319370e9973398c54ec8594f 100644 (file)
--- 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
-