[gobo-eiffel-develop] et_xace_xml_generator.e

[Alexander K. <kw...@ah...>]

The line
    print_indentation (1, a_file)
in the feature ET_XACE_XML_GENERATOR.print_xml_library_file
can be removed to avoid disturbing pretty-printing.

Alexander Kogtenkov