fix: ensure `instantiateMVarsProfiling` adds a trace node#5501

Merged

Kha merged 1 commit intoleanprover:masterfrom opencompl:fix-elabdef-time-leak

Nov 8, 2024

Commits on Sep 27, 2024

fix: ensure instantiateMVarsProfiling adds a trace node.
alexkeizer
committed