FIX to Optimal-Time Text Indexing in BWT-runs Bounded Space
Level: Small
In the proof of Lemma 5.2, point 1 should not say "
a <- a+1
" but, just as in point 2, "
a
is set to the next integer
a'
such that
v_{a'}
has not been discarded".