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

preference	pretty_printer.line_processing wrap
preference	pretty_printer.loop_expression_style keep
prettify	test.e prettify_output
compile_result ok
compare		prettify_output output

test_end