[Agda] Incompatible interface files?

[Nils Anders Danielsson]

On 2010-11-01 23:23, Dirk Ullrich wrote:
> I've just built Agda2 from darcs' head.
> It seems that the `agdai' files generated by the `agda' binary are not
> compatible with those `agdai' files generated fron within Emacs' agda2
> mode:

It sounds as if you didn't rebuild the "agda" executable; the interface
file format changes rather frequently, so the two tools need to be in
sync.

-- 
/NAD