MiniJavaInScala/mjis — pull request #188 by jspam (2014-12-03 23:55:43+00:00)
Title: Represent multidimensional arrays as arrays of pointers in FIRM

Fixes the Simon_060.mj test case