Differences From Artifact [0e61f6dceb]:

• File src/natools-s_expressions-printers-pretty.adb — part of check-in [e66be760b0] at 2014-07-25 20:07:26 on branch trunk — s_expressions-printers-pretty: add an assert on final cursor position after writing quoted strings (user: nat size: 36572)

To Artifact [e858dfbb7a]:

• File src/natools-s_expressions-printers-pretty.adb — part of check-in [8fffe1590c] at 2014-07-27 17:32:51 on branch trunk — s_expressions-printers-pretty: fix cursor position after writing a quoted string (user: nat size: 36617)

748
749
750
751
752
753
754

755
756
757
758
759
760
761

748
749
750
751
752
753
754
755
756
757
758
759
760
761
762

+

               O := O + Output_Delta;
               Output.Cursor := New_Cursor;
            end if;
         end loop;

         pragma Assert (O = Result'Last);
         Result (O) := Encodings.Quoted_Atom_End;
         Output.Cursor := Output.Cursor + 1;

         Write_Raw (Printer'Class (Output), Result);
      end;

      pragma Assert (Output.Cursor = Expected_Cursor);
   end Write_Quoted;