Commit 48378893 authored by Andreas Marek's avatar Andreas Marek

For performance reasons make usage of assumed-size arrays default

This can be switched off via --disable-assumed-size
parent 0ccc9d8f