#7 After termination check agda needs restart

[Anonymous]

If one termination checks a buffer and then reloads it, Agda gives an error since the definitions are duplicated.
The same happens if one termination checks the same buffer twice.

Version of Agda:1.0.2
XEmacs version 21.5

Anton Setzer
a.g.setzer@swan.ac.uk