edwinb/Idris-dev — pull request #276 by david-christiansen (2013-04-10 11:05:02+00:00)
Title: Remove the unused arg from lookup functions

Previously, there was an ignored argument to lookupCtxtName and its
derivatives. This has been removed to prevent confusion.

Fixes #275