| changeset 47021 | f35f654f297d |
| parent 47005 | 421760a1efe7 |
| child 49674 | dbadb4d03cbc |
--- a/src/Pure/variable.ML Mon Mar 19 19:49:54 2012 +0100 +++ b/src/Pure/variable.ML Mon Mar 19 20:32:57 2012 +0100 @@ -165,8 +165,7 @@ 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 o tap Binding.check; +val check_name = Name_Space.base_name o tap Binding.check;