repaired subtle misunderstanding: statement names are only passed for name resolution

--- 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 =