-
Gregor Michalicek authored
The problem was that some arrays had predefined sizes that were not adapted to the actual problem. I changed this for some arrays now but there are still some other arrays that may become a problem at some point, too.
4a3f4f96