diff -r 6727d29d164f -r ab4d13e9e77a src/Pure/search.ML
--- a/src/Pure/search.ML	Wed Nov 25 13:57:17 1998 +0100
+++ b/src/Pure/search.ML	Wed Nov 25 13:57:44 1998 +0100
@@ -225,12 +225,12 @@
 	 (case  partition satpred prfs  of
 	      ([],[]) => []
 	    | ([],nonsats) => 
-		  (message("breadth=" ^ string_of_int(length nonsats) ^ "\n");
+		  (message("breadth=" ^ string_of_int(length nonsats));
 		   bfs (List.concat (map tacf nonsats)))
 	    | (sats,_)  => sats)
   in (fn st => Seq.of_list (bfs [st])) end;
 
-val BREADTH_FIRST = gen_BREADTH_FIRST prs;
+val BREADTH_FIRST = gen_BREADTH_FIRST writeln;
 val QUIET_BREADTH_FIRST = gen_BREADTH_FIRST (K ());