src/Pure/search.ML
changeset 5956 ab4d13e9e77a
parent 5754 98744e38ded1
child 8149 941afb897532
     1.1 --- a/src/Pure/search.ML	Wed Nov 25 13:57:17 1998 +0100
     1.2 +++ b/src/Pure/search.ML	Wed Nov 25 13:57:44 1998 +0100
     1.3 @@ -225,12 +225,12 @@
     1.4  	 (case  partition satpred prfs  of
     1.5  	      ([],[]) => []
     1.6  	    | ([],nonsats) => 
     1.7 -		  (message("breadth=" ^ string_of_int(length nonsats) ^ "\n");
     1.8 +		  (message("breadth=" ^ string_of_int(length nonsats));
     1.9  		   bfs (List.concat (map tacf nonsats)))
    1.10  	    | (sats,_)  => sats)
    1.11    in (fn st => Seq.of_list (bfs [st])) end;
    1.12  
    1.13 -val BREADTH_FIRST = gen_BREADTH_FIRST prs;
    1.14 +val BREADTH_FIRST = gen_BREADTH_FIRST writeln;
    1.15  val QUIET_BREADTH_FIRST = gen_BREADTH_FIRST (K ());
    1.16  
    1.17