use conversion in t_ehoare_call_core#1049

Merged

strub merged 1 commit into

mainfrom

restore-ehoare-call

Jun 17, 2026

Commits on Jun 17, 2026

before the commit 23cf44, conversion was used in tactic t_ehoare_call_core (and not alpha conversion), this restore conversion
bgregoir
committed