lampepfl/dotty — pull request #106 by DarkDimius (2014-03-31 19:59:50+00:00)
Title: Fix build: Fix error in lazy-vals.

Wrong helper method was used.