Skip to content
Commit 5fbefde9 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Merge branch 'type-inf-subscript-idx' into 'master' 

Do not allow non integral array indices

See merge request !342
parents 61a49b13 5daa725c