corrected variable renaming
authorhaftmann
Mon Mar 23 19:01:17 2009 +0100 (2009-03-23 ago)
changeset 306882d1d426e00e4
parent 30687 16f6efd4e599
child 30689 b14b2cc4e25e
corrected variable renaming
src/Pure/Isar/code_unit.ML
     1.1 --- a/src/Pure/Isar/code_unit.ML	Mon Mar 23 19:01:16 2009 +0100
     1.2 +++ b/src/Pure/Isar/code_unit.ML	Mon Mar 23 19:01:17 2009 +0100
     1.3 @@ -218,7 +218,7 @@
     1.4      |> burrow_thms (canonical_tvars thy purify_tvar)
     1.5      |> map (canonical_vars thy purify_var)
     1.6      |> map (canonical_absvars purify_var)
     1.7 -    |> map Drule.zero_var_indexes
     1.8 +    |> Drule.zero_var_indexes_list
     1.9    end;
    1.10  
    1.11