src/Tools/Code/code_target.ML
changeset 36537 b0186c66f324
parent 36471 5aae37575885
child 36959 f5417836dbea
     1.1 --- a/src/Tools/Code/code_target.ML	Thu Apr 29 15:00:43 2010 +0200
     1.2 +++ b/src/Tools/Code/code_target.ML	Thu Apr 29 15:00:43 2010 +0200
     1.3 @@ -279,7 +279,7 @@
     1.4        (Symtab.lookup module_alias) (Symtab.lookup class')
     1.5        (Symtab.lookup tyco') (Symtab.lookup const')
     1.6        (Code_Printer.string_of_pretty width, Code_Printer.writeln_pretty width)
     1.7 -      program4 names2
     1.8 +      program4 names1
     1.9    end;
    1.10  
    1.11  fun mount_serializer thy alt_serializer target some_width module args naming program names =