On Mon, Feb 27, 2012 at 1:34 PM, Julia Lawall <[email protected]> wrote: >Did you get it from git or from the web page?
Git. Now I did do the make distclean and install menhir from a source drop. I'm getting lots further. I think your supposition was right, that there was an r9 file lurking in the git tree. ron _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
