On Tue, Mar 11, 2008 at 1:15 PM, Rob Shields <rob at cmsnet.org.uk> wrote: > Sorry, I'm not sure what k is. If you have an options { ... } section at the top of your grammar, what does it say? ...Richard