ocaml 3.09 transition

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

diff --git a/helm/ocaml/cic/cicUniv.mli b/helm/ocaml/cic/cicUniv.mli
index 219513012be1aa0ccb0c13530b14c0296badf982..be8c28bf3e105c20ac17a6673ae5fa6ecbd637e0 100644 (file)
--- a/helm/ocaml/cic/cicUniv.mli
+++ b/helm/ocaml/cic/cicUniv.mli
@@ -48,6 +48,9 @@ val fresh:
   unit -> 
     universe
 
+    (* names a universe if unnamed *)
+val name_universe: universe -> UriManager.uri -> universe
+    
 (*
   really useful at the begin and in all the functions that don't care 
   of universes