Revert "Compiler: remove menhir warning"

This reverts commit a96a83867b9da48e242760b5d5bb6bc9ce8c2a0e.