X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicUniv.mli;h=be8c28bf3e105c20ac17a6673ae5fa6ecbd637e0;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=219513012be1aa0ccb0c13530b14c0296badf982;hpb=68eea268e230d7eb12cdc416ead471a86a4bb5e4;p=helm.git

diff --git a/helm/ocaml/cic/cicUniv.mli b/helm/ocaml/cic/cicUniv.mli
index 219513012..be8c28bf3 100644
--- 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