Submitted by Gabriël Konat on 3 May 2013 at 13:35

On 5 May 2013 at 13:27 Gabriël Konat commented:

Fixed. Wrong entity match: Entity(knd, name, par, _), should be Entity(knd, name, SimpleSort(par), _). Although this may not work if there is something else than a SimpleSort there, is that possible?


On 5 May 2013 at 13:27 Gabriël Konat closed this issue.

Log in to post comments