}
let disambiguate_thing =
- let profiler = CicUtil.profile "disambiguate_thing" in
+ let profiler = HExtlib.profile "disambiguate_thing" in
{ do_it =
fun ~aliases ~universe ~f ~drop_aliases ~drop_aliases_and_clear_diff thing
- -> profiler.CicUtil.profile
+ -> profiler.HExtlib.profile
(disambiguate_thing ~aliases ~universe ~f ~drop_aliases
~drop_aliases_and_clear_diff) thing
}