changeset 25042 | a33b78d63114 |
parent 25019 | 3b2d3b8fc7b6 |
child 25049 | ec0547a4fcf0 |
--- a/src/Pure/sign.ML Mon Oct 15 21:08:35 2007 +0200 +++ b/src/Pure/sign.ML Mon Oct 15 21:08:36 2007 +0200 @@ -265,7 +265,7 @@ val consts_of = #consts o rep_sg; val the_const_constraint = Consts.the_constraint o consts_of; -val the_const_type = Consts.the_declaration o consts_of; +val the_const_type = Consts.the_type o consts_of; val const_type = try o the_const_type; val const_monomorphic = Consts.is_monomorphic o consts_of; val const_syntax_name = Consts.syntax_name o consts_of;