fix: aborting elaboration should not lead to empty `#print axioms`#8214

Open

Kha wants to merge 1 commit intoleanprover:masterfrom

Kha:push-kknvlummrkok

Commits on May 3, 2025

fix: aborting elaboration should not lead to empty `#print axioms`
Kha
committed