idris-lang/Idris-dev — pull request #533 by Ralith (2013-10-13 17:34:12+00:00)
Title: Fix broken build caused by 3fdf1a03

It's unclear if there are missing files or this line was just left in by mistake, but regardless it's breaking things.