Renamed 'symbol' field in skipped production to 'def'#2078

Merged

PieterOlivier merged 1 commit intofeat/error-recoveryfrom recovery/symbol-to-def

Nov 13, 2024

+1-1

Commits on Nov 13, 2024

Renamed 'symbol' field in skipped production to 'def'
PieterOlivier
committed