test_name pretty-comment-indentation
test_description Comments in a routine body should be indented by the same amount all the time.

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

preference	pretty_printer.keep_unindented_comments true
prettify	test.e prettify_output_u
compile_result ok
compare		prettify_output_u output_u

preference	pretty_printer.keep_unindented_comments false
prettify	test.e prettify_output_i
compile_result ok
compare		prettify_output_i output_i

test_end