Hi, I have to admit that I do not have any idea about bison and thus fail to fix bug #733407. Any help is really appreciated. Kind regards Andreas. -- http://fam-tille.de