Repository navigation

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

Merged

xavierleroy merged 1 commit into

AbsInt:masterfrom

fpottier:master

Oct 20, 2025

Merged

cparser/ErrorReports.ml: remove the use of deprecated features in MenhirLib#562
xavierleroy merged 1 commit into
AbsInt:masterfrom
fpottier:master

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
  5fd8013