src/Pure/display.ML
changeset 42359 6ca5407863ed
parent 42358 b47d41d9f4b5
child 42383 0ae4ad40d7b5
     1.1 --- a/src/Pure/display.ML	Sat Apr 16 13:48:45 2011 +0200
     1.2 +++ b/src/Pure/display.ML	Sat Apr 16 15:25:25 2011 +0200
     1.3 @@ -195,7 +195,7 @@
     1.4  
     1.5      val clsses = Name_Space.dest_table ctxt (class_space, Symtab.make (Graph.dest classes));
     1.6      val tdecls = Name_Space.dest_table ctxt types;
     1.7 -    val arties = Name_Space.dest_table ctxt (Sign.type_space thy, arities);
     1.8 +    val arties = Name_Space.dest_table ctxt (Type.type_space tsig, arities);
     1.9  
    1.10      fun prune_const c = not verbose andalso Consts.is_concealed consts c;
    1.11      val cnsts = Name_Space.extern_table ctxt (#1 constants,