Submitted on 31 May 2004 at 16:59

On 31 May 2004 at 17:17 Jira commented:

STR-104, martin:
I’m not sure if this is really required. Shouldn’t the renamings be applied to sorts as well?


On 31 July 2004 at 20:35 Jira commented:

STR-104, martin:
I think this is not a bug in gen-renamed-sdf-module, but in the SdfChecker. The possible problem has been reported at the CWI Bugzilla.


On 19 August 2004 at 13:20 Jira commented:

STR-104, martin:
The bug has been fixed in the SdfChecker.

Log in to post comments