src/Pure/Thy/thy_info.ML

   end;
 
 
 (* finish all theories *)
 
-fun finish () = change_thys (Graph.map_nodes (fn (_, entry) => (NONE, entry)));
-
-end;
+fun finish () = change_thys (Graph.map (fn _ => fn (_, entry) => (NONE, entry)));
+
+end;