src/Pure/search.ML

--- a/src/Pure/search.ML	Thu Apr 27 12:11:56 2006 +0200
+++ b/src/Pure/search.ML	Thu Apr 27 15:06:35 2006 +0200
@@ -243,7 +243,7 @@
 	      ([],[]) => []
 	    | ([],nonsats) => 
 		  (message("breadth=" ^ string_of_int(length nonsats));
-		   bfs (List.concat (map tacf nonsats)))
+		   bfs (maps tacf nonsats))
 	    | (sats,_)  => sats)
   in (fn st => Seq.of_list (bfs [st])) end;