--- 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 ());