1 files changed, 0 insertions, 25 deletions
diff --git a/kernel/uGraph.ml b/kernel/uGraph.ml
index b988ec40a7..6db54a3bb6 100644
--- a/kernel/uGraph.ml
+++ b/kernel/uGraph.ml
@@ -251,28 +251,3 @@ type node = G.node =
 let repr g = G.repr g.graph
 
 let pr_universes prl g = pr_pmap Pp.mt (pr_arc prl) g
-
-(** Profiling *)
-
-let merge_constraints =
-  if Flags.profile then
-    let key = CProfile.declare_profile "merge_constraints" in
-      CProfile.profile2 key merge_constraints
-  else merge_constraints
-let check_constraints =
-  if Flags.profile then
-    let key = CProfile.declare_profile "check_constraints" in
-      CProfile.profile2 key check_constraints
-  else check_constraints
-
-let check_eq =
-  if Flags.profile then
-    let check_eq_key = CProfile.declare_profile "check_eq" in
-      CProfile.profile3 check_eq_key check_eq
-  else check_eq
-
-let check_leq =
-  if Flags.profile then
-    let check_leq_key = CProfile.declare_profile "check_leq" in
-      CProfile.profile3 check_leq_key check_leq
-  else check_leq