# HG changeset patch
# User haftmann
# Date 1237831277 -3600
# Node ID 2d1d426e00e42540eb1090788286ef17f0b5e216
# Parent  16f6efd4e599a529107d4301bb6c5bd862526b2a
corrected variable renaming

diff -r 16f6efd4e599 -r 2d1d426e00e4 src/Pure/Isar/code_unit.ML
--- a/src/Pure/Isar/code_unit.ML	Mon Mar 23 19:01:16 2009 +0100
+++ b/src/Pure/Isar/code_unit.ML	Mon Mar 23 19:01:17 2009 +0100
@@ -218,7 +218,7 @@
     |> burrow_thms (canonical_tvars thy purify_tvar)
     |> map (canonical_vars thy purify_var)
     |> map (canonical_absvars purify_var)
-    |> map Drule.zero_var_indexes
+    |> Drule.zero_var_indexes_list
   end;