src/Pure/display.ML
changeset 17995 8b9c6af78a67
parent 17704 f776b3bf4126
child 18061 972e3d554eb8
     1.1 --- a/src/Pure/display.ML	Thu Oct 27 13:54:42 2005 +0200
     1.2 +++ b/src/Pure/display.ML	Thu Oct 27 13:54:43 2005 +0200
     1.3 @@ -201,7 +201,7 @@
     1.4      val clsses = NameSpace.dest_table (apsnd (Symtab.make o Graph.dest) classes);
     1.5      val tdecls = NameSpace.dest_table types;
     1.6      val arties = NameSpace.dest_table (Sign.type_space thy, arities);
     1.7 -    val cnsts = NameSpace.extern_table consts |> map (apsnd fst);
     1.8 +    val cnsts = NameSpace.extern_table consts |> map (apsnd (fst o fst));
     1.9      val cnsts' = NameSpace.extern_table (#1 consts, constraints);
    1.10      val axms = NameSpace.extern_table axioms;
    1.11      val oras = NameSpace.extern_table oracles;