src/HOL/Tools/Nitpick/nitpick_scope.ML

--- a/src/HOL/Tools/Nitpick/nitpick_scope.ML	Thu Feb 20 19:32:20 2014 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_scope.ML	Thu Feb 20 19:38:34 2014 +0100
@@ -209,7 +209,7 @@
          (if null iters then [] else ["iter: " ^ commas (map implode iters)]) @
          miscs of
       [] => "empty"
-    | lines => space_implode "\n" lines
+    | lines => cat_lines lines
   end
 
 fun scopes_equivalent (s1 : scope, s2 : scope) =