Adapt to coq/coq#18528 (profile_ltac moved to engine and renamed profile_tactic)#385

Merged

ppedrot merged 1 commit intorocq-archive:mainfrom SkySkimmer:ltac2-uncommon

Jan 24, 2024

+6-8

Commits on Jan 23, 2024

Adapt to coq/coq#18528 (profile_ltac moved to engine and renamed profile_tactic)
SkySkimmer
committed