From 5d3c0a0326af68e85f1f1cfc6bfa2214b0052de8 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 10 Mar 2020 01:06:34 -0400
Subject: [flags] [profile] Remove bit-rotten CProfile code.

As of today Coq has the `CProfile` infrastructure disabled by default,
untested, and not easily accessible.

It was decided that `CProfile` should remain not user-accessible, and
only available thus by manual editing of Coq code to switch the flag
and manually instrument functions.

We thus remove all bitrotten dead code.
---
 kernel/uGraph.ml | 25 -------------------------
 1 file changed, 25 deletions(-)

(limited to 'kernel/uGraph.ml')

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
-- 
cgit v1.2.3