# HG changeset patch
# User haftmann
# Date 1272546043 -7200
# Node ID b0186c66f3240f10ab2d7a48107daf9ae39db947
# Parent  8daaa303f90da35505f2abf295b4e54a3ab88960
repaired subtle misunderstanding: statement names are only passed for name resolution

diff -r 8daaa303f90d -r b0186c66f324 src/Tools/Code/code_target.ML
--- a/src/Tools/Code/code_target.ML	Thu Apr 29 15:00:43 2010 +0200
+++ b/src/Tools/Code/code_target.ML	Thu Apr 29 15:00:43 2010 +0200
@@ -279,7 +279,7 @@
       (Symtab.lookup module_alias) (Symtab.lookup class')
       (Symtab.lookup tyco') (Symtab.lookup const')
       (Code_Printer.string_of_pretty width, Code_Printer.writeln_pretty width)
-      program4 names2
+      program4 names1
   end;
 
 fun mount_serializer thy alt_serializer target some_width module args naming program names =