let list_uniq l =
list_uniq (List.fast_sort CicUniv.compare l)
-let profiler = (HExtlib.profile "clean_and_fill").HExtlib.profile
-
let clean_and_fill uri obj ugraph =
(* universes of obj fills the universes of the obj with the right uri *)
let list_of_universes, obj = universes_of_obj uri obj in
in
ugraph, list_of_universes, obj
+(*
+let profiler = (HExtlib.profile "clean_and_fill").HExtlib.profile
let clean_and_fill u o g =
profiler (clean_and_fill u o) g
-
+*)