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