src/HOL/Tools/refute_isar.ML
changeset 26931 aa226d8405a8
parent 26000 b629b4f2026c
child 32855 7da2447fadf2
--- 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);