let add_aliases_for_objs =
List.fold_left
(fun status uri ->
- let obj,_ = CicEnvironment.get_obj CicUniv.empty_ugraph uri in
+ let obj,_ = CicEnvironment.get_obj CicUniv.oblivion_ugraph uri in
add_aliases_for_object status uri obj)
module OrderedId =
struct
type t = CicNotation.notation_id
- let compare = Pervasives.compare
+ let compare = CicNotation.compare_notation_id
end
module IdSet = Set.Make (OrderedId)