tuned
authorhaftmann
Mon Nov 22 09:18:25 2010 +0100 (2010-11-22)
changeset 40629f276d46d4ec0
parent 40628 1b1484c3b163
child 40630 3b5c31e55540
tuned
src/Tools/Code/code_namespace.ML
     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);