changeset 25538 | 58e8ba3b792b |
parent 23964 | d2df2797519b |
child 28183 | 7d5103454520 |
--- a/src/Pure/General/graph.ML Wed Dec 05 14:15:59 2007 +0100 +++ b/src/Pure/General/graph.ML Wed Dec 05 14:16:05 2007 +0100 @@ -257,7 +257,7 @@ fun add_edge_trans_acyclic (x, y) G = add_edge_acyclic (x, y) G - |> fold add_edge (Library.product (all_preds G [x]) (all_succs G [y])); + |> fold_product (curry add_edge) (all_preds G [x]) (all_succs G [y]); fun merge_trans_acyclic eq (G1, G2) = merge_acyclic eq (G1, G2)