build: Fix construction of parser.mli
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 3 Jan 2020 19:23:50 +0000 (19:23 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Fri, 3 Jan 2020 19:23:50 +0000 (19:23 +0000)
commitd423e5e29035b1dfdc87ae2ff201b0584456e751
tree2d292a84176a9f568424d6a4d9ac50b2f52ce730
parenteaa22cca2ae85beff5b6f981e084fc9d9b57f202
build: Fix construction of parser.mli
Goalfile.in