test_name pretty-formal-renaming
test_description Renaming clause of formal generic constraint should be processed correctly.

copy_sub Ace $TEST Ace
copy_raw test.e $CLUSTER test.e

prettify	test.e prettify_output
compile_result ok
compare		prettify_output output

test_end