1.1 --- a/src/Pure/variable.ML	Tue Jul 12 23:20:34 2011 +0200
     1.2 +++ b/src/Pure/variable.ML	Tue Jul 12 23:22:22 2011 +0200
     1.3 @@ -165,7 +165,8 @@
     1.4  
     1.5  val is_declared = Name.is_declared o names_of;
     1.6  
     1.7 -val check_name = Long_Name.base_name o Name_Space.full_name Name_Space.default_naming;
     1.8 +val check_name =
     1.9 +  Long_Name.base_name o Name_Space.full_name Name_Space.default_naming o tap Binding.check;
    1.10  
    1.11  
    1.12