Reported by Rob Vermaas. Error log:

make-permissive.helper:
[java] [ make_permissive | info ] Number of productions to analyze: 94
[java] [ make_permissive | info ] Number of productions generated: 16
[java] [ make_permissive | error ] No pp entry found for: (1,[“unparameterized”])
[java] [ make_permissive | error ] Cannot rewrite to box:
[java] unparameterized(“Nix”{7424})
[java] [ make_permissive | error ] Cannot rewrite to box:
[java] module(unparameterized(“Nix”{7424}),[]{7425},[…….])
[java] make_permissive: rewriting failed, trace:
[java] main_make_permissive_0_0
[java] xtc_io_wrap_2_0
[java] option_wrap_2_0
[java] option_wrap_5_0
[java] xtc_io_1_0
[java] xtc_temp_files_1_0
[java] restore_always_2_0
[java] pp_commented_sdf_string_0_0
[java] pp_commented_sdf_box_0_0
[java] ast2box_0_1
[java] ast2abox_0_1
[java] trm2abox_0_1

Submitted by Lennart Kats on 15 July 2010 at 10:44

Looking at the code, once again, I found a problem. Fixed in 0.5.2.7.