1.1 --- a/src/Tools/Code/code_namespace.ML Sat Nov 20 01:07:16 2010 +0100
1.2 +++ b/src/Tools/Code/code_namespace.ML Mon Nov 22 09:18:25 2010 +0100
1.3 @@ -120,8 +120,7 @@
1.4 end;
1.5 val name_tabs = AList.make (uncurry classify_names o Graph.get_node flat_program)
1.6 (Graph.keys flat_program);
1.7 - val deresolver_tab = Symtab.empty
1.8 - |> fold (fn (module_name, name_tab) => Symtab.update (module_name, name_tab)) name_tabs;
1.9 + val deresolver_tab = fold Symtab.update name_tabs Symtab.empty;
1.10 fun deresolver module_name name =
1.11 the (Symtab.lookup (the (Symtab.lookup deresolver_tab module_name)) name)
1.12 handle Option => error ("Unknown statement name: " ^ labelled_name name);