fix: restore parser tests - #543

Closed

jcreedcmu wants to merge 3 commits into

leanprover:mainfrom

jcreedcmu:restore-tests

Commits on Sep 30, 2025

Restore parser tests
jcreedcmu
committed
9760847
Do simple text replacement
jcreedcmu
committed
3e138b6
Apply lake test -- --update-expected
jcreedcmu
committed
38881ad