src/HOL/Tools/refute_isar.ML

--- a/src/HOL/Tools/refute_isar.ML	Sat May 17 14:27:02 2008 +0200
+++ b/src/HOL/Tools/refute_isar.ML	Sat May 17 15:31:42 2008 +0200
@@ -87,7 +87,7 @@
 					val output             = if new_default_params=[] then
 							"none"
 						else
-							space_implode "\n" (map (fn (name, value) => name ^ "=" ^ value)
+							cat_lines (map (fn (name, value) => name ^ "=" ^ value)
 								new_default_params)
 				in
 					writeln ("Default parameters for 'refute':\n" ^ output);