changeset 43790 | 9bd8d4addd6e |
parent 43329 | 84472e198515 |
child 45289 | 25e9e7f527b4 |
--- a/src/Pure/variable.ML Tue Jul 12 23:20:34 2011 +0200 +++ b/src/Pure/variable.ML Tue Jul 12 23:22:22 2011 +0200 @@ -165,7 +165,8 @@ val is_declared = Name.is_declared o names_of; -val check_name = Long_Name.base_name o Name_Space.full_name Name_Space.default_naming; +val check_name = + Long_Name.base_name o Name_Space.full_name Name_Space.default_naming o tap Binding.check;