tree 77e3aa37e204e2b310f7b7ac93fca2d3cf9d8e37
parent 338cf06d95f976b7017f14de9cf1badf0364129e
author margaretha <margaretha@ids-mannheim.de> 1543318074 +0100
committer margaretha <margaretha@ids-mannheim.de> 1543318498 +0100

Fixed infinite skipTo and candidate list in NextSpans.

Change-Id: If2d895f9d05c53b643c4d71e3f3dab0df88689bc