[Agda] Termination checker change?

[Thomas Hallgren]

Hi,

Has there been a change in how to call the termination checker in Agda? 
When I try to use it from Alfa, all I get is errors about duplicate 
definitions...

-- 
Thomas H


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 252 bytes
Desc: OpenPGP digital signature
Url : http://lists.chalmers.se/mailman/private/agda/attachments/20041103/cb636bf8/signature.bin