cparser/ErrorReports.ml: remove the use of deprecated features in MenhirLib#562

Merged

xavierleroy merged 1 commit intoAbsInt:masterfrom

fpottier:master

Oct 20, 2025

Commits on Sep 22, 2025

cparser/ErrorReports.ml: remove the use of the deprecated library [MenhirLib.General] and of the deprecated function `stack` in Menhir's incremental API.
fpottier
committed