increase allocated size of positions array
increase allocated size of positions array


Former-commit-id: 2ea2064a841d91646f0a9d65550bad70ebc4f6f1
karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle