--- a/src/Pure/Tools/codegen_thingol.ML Wed Jun 21 11:23:49 2006 +0200
+++ b/src/Pure/Tools/codegen_thingol.ML Wed Jun 21 11:24:19 2006 +0200
@@ -1002,7 +1002,7 @@
seri_defs sresolver (NameSpace.pack prfx)
(map (fn (name, Def def) => (fst (mk_name prfx name), def)) ds)
in
- seri_module (resolver []) ((the o Symtab.lookup imptab) "")
+ seri_module (resolver []) (map (resolver []) ((the o Symtab.lookup imptab) ""))
(*map (resolver []) (Graph.strong_conn module |> flat |> rev)*)
(("", name_root), (mk_contents [] module))
end;