src/Pure/sign.ML
changeset 36450 62eaaffe6e47
parent 36449 78721f3adb13
child 36610 bafd82950e24
     1.1 --- a/src/Pure/sign.ML	Wed Apr 28 11:09:19 2010 +0200
     1.2 +++ b/src/Pure/sign.ML	Wed Apr 28 11:13:11 2010 +0200
     1.3 @@ -155,7 +155,7 @@
     1.4  
     1.5        val naming = Name_Space.default_naming;
     1.6        val syn = Syntax.merge_syntaxes syn1 syn2;
     1.7 -      val tsig = Type.merge_tsigs pp (tsig1, tsig2);
     1.8 +      val tsig = Type.merge_tsig pp (tsig1, tsig2);
     1.9        val consts = Consts.merge (consts1, consts2);
    1.10      in make_sign (naming, syn, tsig, consts) end;
    1.11  );