scala/scala — pull request #858 by magarciaEPFL (2012-07-10 13:27:35+00:00)
Title: bandaid in GenASM for SI-6049

review by @dragos