klaiber@cs.washington.edu (Alexander Klaiber) (01/16/90)
Ignore the previous message on this topic -- I had not (unwisely) trusted our sysadmin to have the latest version of bison around; this was clearly not the case. I downloaded the latest version of bison, recompiled the front-end and things are fine now. Sorry for the mix-up... Alex -- Alexander Klaiber klaiber@cs.washington.edu