idris-lang/Idris-dev — pull request #1256 by david-christiansen (2014-05-25 21:16:19+00:00)
Title: Fix missing function call from 723d972b2

Thanks @Melvar!