When using “-of” switch of pack-sdf, the output tree is false. Specially the constructor of the definition which is “Definition” but should be “definition”.

Here are some fixes:
https://www.lrde.epita.fr/~david_v/stratego/pack-sdf.patch
https://www.lrde.epita.fr/~david_v/stratego/asfix-abstractions.patch

Submitted on 23 April 2004 at 12:24

STR-60, martin:
Solved. Thanks for reporting!