Thanks. Unfortunately, this is an older version of his patch, which hadn't yet fixed some of those problems. The latest version I'm aware of is here:http://lists.gnu.org/archive/html/bison-patches/2006-12/msg00118.htmlI think the following patch imports the remaining differences plus some of our other suggestions. Ok to commit?
Right. Paolo
