Code

fix: Make --profiling not crash#947

Code

Merged

bclement-ocp merged 1 commit intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom bclement-ocp:bclement/fix-profilingbclement-ocp/alt-ergo:bclement/fix-profilingCopy head branch name to clipboardNov 17, 2023

+2-2

Commits

Commits on Nov 17, 2023

• fix: Make --profiling not crash

  Show description for e5abcd9
  bclement-ocp

  committed
  e5abcd9