X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicUniv.ml;h=abb50a196482da30fee62ecdaf33e53c967c9d1a;hb=aca103d3c3d740efcc0bcc2932922cff77facb49;hp=c986ae866e03ad8759126c054f3707772c245967;hpb=03d2302343e8e1b282c1b2afec8db7913413d9d1;p=helm.git

diff --git a/helm/ocaml/cic/cicUniv.ml b/helm/ocaml/cic/cicUniv.ml
index c986ae866..abb50a196 100644
--- a/helm/ocaml/cic/cicUniv.ml
+++ b/helm/ocaml/cic/cicUniv.ml
@@ -941,12 +941,12 @@ let recons_graph graph =
       MAL.add (recons_univ universe) (recons_entry entry) map)
     graph MAL.empty
 
-let assert_univs_have_uri graph =
-  let assert_univ u =
+let assert_univ u =
     match u with 
     | (_,None) -> raise (UniverseInconsistency "This universe graph has a hole")
     | _ -> ()
-  in
+    
+let assert_univs_have_uri graph =
   let assert_set s =
     SOF.iter (fun u -> assert_univ u) s
   in