On Tue, Apr 12, 2005 at 07:04:37PM +0200, Luca Furini wrote: > Jeremias Maerki wrote: > > By the way, it seems that you forgot to commit some changes to > KnuthPossPosIter.
With Jeremias being away for the week, I committed a quick fix. I hope it works as intended. Regards, Simon -- Simon Pepping home page: http://www.leverkruid.nl
