src/Pure/display.ML
changeset 32784 1a5dde5079ac
parent 32738 15bb09ca0378
child 33092 c859019d3ac5
     1.1 --- a/src/Pure/display.ML	Wed Sep 30 19:04:48 2009 +0200
     1.2 +++ b/src/Pure/display.ML	Wed Sep 30 22:20:58 2009 +0200
     1.3 @@ -177,7 +177,7 @@
     1.4      val axioms = (Theory.axiom_space thy, Theory.axiom_table thy);
     1.5      val defs = Theory.defs_of thy;
     1.6      val {restricts, reducts} = Defs.dest defs;
     1.7 -    val {naming, syn = _, tsig, consts} = Sign.rep_sg thy;
     1.8 +    val {naming = _, syn = _, tsig, consts} = Sign.rep_sg thy;
     1.9      val {constants, constraints} = Consts.dest consts;
    1.10      val extern_const = NameSpace.extern (#1 constants);
    1.11      val {classes, default, types, ...} = Type.rep_tsig tsig;