src/Pure/NJ.ML

--- a/src/Pure/NJ.ML	Mon Oct 04 15:30:49 1993 +0100
+++ b/src/Pure/NJ.ML	Mon Oct 04 15:36:31 1993 +0100
@@ -28,7 +28,8 @@
     fun pp pps obj =
       pprint obj
         (add_string pps, begin_block pps INCONSISTENT,
-          fn wd => add_break pps (wd, 0), fn () => end_block pps);
+          fn wd => add_break pps (wd, 0), fn () => add_newline pps,
+          fn () => end_block pps);
   in
     (path, pp)
   end;