[Agda] Build error for Agda from Darcs

[Dirk Ullrich]

Hello,

building current Agda from Darcs causes the following error:

[197 of 239] Compiling Agda.TypeChecking.MetaVars (
src/full/Agda/TypeChecking/MetaVars.hs,
dist/build/Agda/TypeChecking/MetaVars.o )

src/full/Agda/TypeChecking/MetaVars.hs:541:16:
    Not in scope: `inverseSubst'

Dirk