src/Pure/sign.ML
changeset 43794 49cbbe2768a8
parent 43278 1fbdcebb364b
child 45427 fca432074fb2
     1.1 --- a/src/Pure/sign.ML	Wed Jul 13 20:13:27 2011 +0200
     1.2 +++ b/src/Pure/sign.ML	Wed Jul 13 20:36:18 2011 +0200
     1.3 @@ -210,7 +210,7 @@
     1.4  
     1.5  val consts_of = #consts o rep_sg;
     1.6  val the_const_constraint = Consts.the_constraint o consts_of;
     1.7 -val the_const_type = Consts.the_type o consts_of;
     1.8 +val the_const_type = #2 oo (Consts.the_const o consts_of);
     1.9  val const_type = try o the_const_type;
    1.10  val const_monomorphic = Consts.is_monomorphic o consts_of;
    1.11  val const_typargs = Consts.typargs o consts_of;