| changeset 39021 | 139aada5caf8 |
| parent 38148 | d2f3c8d4a89f |
| child 39557 | fe5722fce758 |
--- a/src/Pure/Thy/thy_info.ML Wed Sep 01 15:33:59 2010 +0200 +++ b/src/Pure/Thy/thy_info.ML Wed Sep 01 15:51:49 2010 +0200 @@ -346,6 +346,6 @@ (* finish all theories *) -fun finish () = change_thys (Graph.map_nodes (fn (_, entry) => (NONE, entry))); +fun finish () = change_thys (Graph.map (fn _ => fn (_, entry) => (NONE, entry))); end;