Merge PR #18483: NewProfile: don't include full trace for unification…

… and conversion Reviewed-by: ppedrot Co-authored-by: ppedrot <ppedrot@users.noreply.github.com>
coq · Jan 21, 2024 · 3298e47 · 3298e47
2 parents b8ba7d6 + a90fe00
commit 3298e47
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/newProfile.ml b/lib/newProfile.ml
@@ -159,7 +159,7 @@ let make_instr_diff ~istart ~iend =
    through [profile] and I'm too lazy to make them conditional *)
 let components =
   match Sys.getenv_opt "COQ_PROFILE_COMPONENTS" with
-  | None -> CString.Pred.full
+  | None -> CString.Pred.(full |> remove "unification" |> remove "Conversion")
   | Some s ->
     List.fold_left (fun cs c -> CString.Pred.add c cs)
       CString.Pred.empty