1.1 --- a/src/Pure/logic.ML	Tue Feb 19 23:49:49 2002 +0100
     1.2 +++ b/src/Pure/logic.ML	Wed Feb 20 00:53:53 2002 +0100
     1.3 @@ -306,7 +306,7 @@
     1.4      then res_inst_tac would not work properly.*)
     1.5  fun rename_vars (a, []) = []
     1.6    | rename_vars (a, (_,T)::vars) =
     1.7 -        (a,T) :: rename_vars (bump_string a, vars);
     1.8 +        (a,T) :: rename_vars (Symbol.bump_string a, vars);
     1.9  
    1.10  (*Move all parameters to the front of the subgoal, renaming them apart;
    1.11    if n>0 then deletes assumption n. *)