diff -r e6093a7fa53a -r 29bc35832a77 src/Pure/Tools/codegen_thingol.ML
--- a/src/Pure/Tools/codegen_thingol.ML	Tue Apr 25 22:23:30 2006 +0200
+++ b/src/Pure/Tools/codegen_thingol.ML	Tue Apr 25 22:23:41 2006 +0200
@@ -715,7 +715,7 @@
             (the_default empty_module o Option.map dest_modl o try (Graph.get_node modl2)) name)
     and diff_modl prefix (modl1, modl2) =
       fold (diff_entry prefix modl2)
-        ((AList.make (Graph.get_node modl1) o Library.flat o Graph.strong_conn) modl1)
+        ((AList.make (Graph.get_node modl1) o flat o Graph.strong_conn) modl1)
   in diff_modl [] modl12 [] end;
 
 local 
@@ -768,7 +768,7 @@
     |> imports [] name 
     (*|> cons name
     |> map (fn name => submodules name (get_modl name) [])
-    |> Library.flat
+    |> flat
     |> remove (op =) name*)
     |> map NameSpace.pack
   end;