[Clops-users] infinite lookahead

[Mikoláš J. <mik...@gm...>]

Hi, I probably missed something but I can't find where
InfiniteLookahead: {"-oo", "--infinite-lookahead"}:[default="false"]
is handled in code.

-- 
Mikoláš