Hi! The new release of Menhir (20260112) breaks your code because some deprecated modules and functions have been removed. The easy fix seems to be to remove open MenhirLib.General here and to also delete the function current_items which seems unused in your code.