Use old code-generator for menhir
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 4 Feb 2022 11:36:47 +0000 (11:36 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 4 Feb 2022 11:45:42 +0000 (11:45 +0000)
commit3fc9a3298c032eb544923776d16e069c630c94ab
tree71b4714e2fb48d073e35a3815ba0eb1f409ea792
parent4a0f02d061d551fbf3275ca4a82f0cf94f16eee5
Use old code-generator for menhir

The new code generator breaks include statements.
Goalfile.in
Makefile.am