src/Pure/context.ML
changeset 18931 427df66052a1
parent 18731 3989c3c41983
child 19028 6c238953f66c
     1.1 --- a/src/Pure/context.ML	Mon Feb 06 20:58:56 2006 +0100
     1.2 +++ b/src/Pure/context.ML	Mon Feb 06 20:58:57 2006 +0100
     1.3 @@ -416,7 +416,7 @@
     1.4  
     1.5  fun dest_data name_of tab =
     1.6    map name_of (Inttab.keys tab)
     1.7 -  |> map (rpair ()) |> Symtab.make_multi |> Symtab.dest
     1.8 +  |> map (rpair ()) |> Symtab.make_list |> Symtab.dest
     1.9    |> map (apsnd length)
    1.10    |> map (fn (name, 1) => name | (name, n) => name ^ enclose "[" "]" (string_of_int n));
    1.11