src/Pure/display.ML
changeset 36328 4d9deabf6474
parent 35845 e5980f0ad025
child 37248 8e8e5f9d1441
     1.1 --- a/src/Pure/display.ML	Sun Apr 25 21:02:36 2010 +0200
     1.2 +++ b/src/Pure/display.ML	Sun Apr 25 21:18:04 2010 +0200
     1.3 @@ -182,7 +182,8 @@
     1.4      val extern_const = Name_Space.extern (#1 constants);
     1.5      val {classes, default, types, ...} = Type.rep_tsig tsig;
     1.6      val (class_space, class_algebra) = classes;
     1.7 -    val {classes, arities} = Sorts.rep_algebra class_algebra;
     1.8 +    val classes = Sorts.classes_of class_algebra;
     1.9 +    val arities = Sorts.arities_of class_algebra;
    1.10  
    1.11      val clsses = Name_Space.dest_table (class_space, Symtab.make (Graph.dest classes));
    1.12      val tdecls = Name_Space.dest_table types;