fix: make `rewrite`/`rw` tactic abort on elaboration errors#6891

Open

kmill wants to merge 1 commit intomasterfrom rw_abort_elab_error

+26

Commits on Jan 31, 2025

fix: make rewrite/rw tactic abort on elaboration errors
kmill
committed