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