Index: src/natools-s_expressions-printers-pretty.adb ================================================================== --- src/natools-s_expressions-printers-pretty.adb +++ src/natools-s_expressions-printers-pretty.adb @@ -37,13 +37,10 @@ Position : in Offset; Encoding : in Newline_Encoding) return Boolean; -- Check whether Data contains a newline at Position - procedure Newline (Output : in out Printer); - -- Output a newline and indentation - procedure Quoted_Lengths (Data : in Atom; Encoding : in Character_Encoding; Width : in Screen_Offset; Newline : in Newline_Encoding; Index: src/natools-s_expressions-printers-pretty.ads ================================================================== --- src/natools-s_expressions-printers-pretty.ads +++ src/natools-s_expressions-printers-pretty.ads @@ -71,10 +71,13 @@ overriding procedure Append_Atom (Output : in out Printer; Data : in Atom); overriding procedure Close_List (Output : in out Printer); + procedure Newline (Output : in out Printer); + -- Open a new indented line in the output + procedure Set_Parameters (Output : in out Printer; Param : in Parameters); function Get_Parameters (Output : Printer) return Parameters; procedure Set_Width (Output : in out Printer;