Sorry for the trouble. Looks like I missed that class when committing. Simon's guess about the intended functionality was correct but I've now renamed the thing a bit to better reflect what it does. Sorry and Thanks!
On 12.04.2005 21:06:20 Simon Pepping wrote: > 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. Jeremias Maerki