STR-104: gen-renamed-sdf-module: declare the new sorts
Submitted on 31 May 2004 at 16:59
Issue Log
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