--- a/src/Provers/order.ML Tue Oct 27 22:55:27 2009 +0100
+++ b/src/Provers/order.ML Tue Oct 27 22:56:14 2009 +0100
@@ -697,9 +697,9 @@
dfs_visit along with u form a connected component. We
collect all the connected components together in a
list, which is what is returned. *)
- Library.foldl (fn (comps,u) =>
+ fold (fn u => fn comps =>
if been_visited u then comps
- else ((u :: dfs_visit (transpose (op aconv) G) u) :: comps)) ([],(!finish))
+ else (u :: dfs_visit (transpose (op aconv) G) u) :: comps) (!finish) []
end;