let debug_print = fun _ -> ()
-let profiler = CicUtil.profile "CicRefine.fo_unif"
+let profiler = HExtlib.profile "CicRefine.fo_unif"
let fo_unif_subst subst context metasenv t1 t2 ugraph =
try
let foo () =
CicUnification.fo_unif_subst subst context metasenv t1 t2 ugraph
-in profiler.CicUtil.profile foo ()
+in profiler.HExtlib.profile foo ()
with
(CicUnification.UnificationFailure msg) -> raise (RefineFailure (UnificationFailure msg))
| (CicUnification.Uncertain msg) -> raise (Uncertain msg)
raise e
;; *)
-let profiler2 = CicUtil.profile "CicRefine"
+let profiler2 = HExtlib.profile "CicRefine"
let type_of_aux' metasenv context term ugraph =
- profiler2.CicUtil.profile (type_of_aux' metasenv context term) ugraph
+ profiler2.HExtlib.profile (type_of_aux' metasenv context term) ugraph
let typecheck metasenv uri obj =
- profiler2.CicUtil.profile (typecheck metasenv uri) obj
+ profiler2.HExtlib.profile (typecheck metasenv uri) obj