Updated code to reflect changes to Agda.
Updated code to reflect changes to Agda.

Ignore-this: 1f977edc65829d6a73b3e7b219169189

darcs-hash:20110918163817-3bd4e-cb005c3f4711b5783960bbb266bc07e2a065fed8.gz

asr/fotc,asr/fotc