diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-12-14 00:06:02 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-14 00:06:02 +0100 |
| commit | 290abf59e6f13bb1468d8e3df050cf0bd9c48708 (patch) | |
| tree | a61d3dce0bd34372b48668f44d280b5d886e2994 /kernel/uGraph.ml | |
| parent | 7576ffd4eb196d5d5a15f6cacb2ba5cba00576ef (diff) | |
| parent | f5cb7eb3e68e4b7d1bb5eeb8d9c58666201945d4 (diff) | |
Merge PR #6038: [build] Remove coqmktop in favor of ocamlfind.
Diffstat (limited to 'kernel/uGraph.ml')
| -rw-r--r-- | kernel/uGraph.ml | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/kernel/uGraph.ml b/kernel/uGraph.ml index 00c0ea70d..f1e8d1031 100644 --- a/kernel/uGraph.ml +++ b/kernel/uGraph.ml @@ -890,24 +890,24 @@ let dump_universes output g = let merge_constraints = if Flags.profile then - let key = Profile.declare_profile "merge_constraints" in - Profile.profile2 key merge_constraints + 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 = Profile.declare_profile "check_constraints" in - Profile.profile2 key check_constraints + 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 = Profile.declare_profile "check_eq" in - Profile.profile3 check_eq_key check_eq + 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 = Profile.declare_profile "check_leq" in - Profile.profile3 check_leq_key check_leq + let check_leq_key = CProfile.declare_profile "check_leq" in + CProfile.profile3 check_leq_key check_leq else check_leq |