src/HOL/Import/proof_kernel.ML

--- a/src/HOL/Import/proof_kernel.ML	Sat Sep 24 21:13:15 2005 +0200
+++ b/src/HOL/Import/proof_kernel.ML	Sat Sep 24 23:55:17 2005 +0200
@@ -1216,7 +1216,7 @@
 			 if_debug prin isaconc)
 		val cs = non_trivial_term_consts isaconc
 		val _ = (message "Looking for consts:";
-			 writeln (commas cs))
+			 message (commas cs))
 		val pot_thms = Shuffler.find_potential thy isaconc
 		val _ = message ((Int.toString (length pot_thms)) ^ " potential theorems")
 	    in