1.1 --- a/src/Tools/Code/code_target.ML Sat Jan 25 23:50:49 2014 +0100
1.2 +++ b/src/Tools/Code/code_target.ML Sat Jan 25 23:50:49 2014 +0100
1.3 @@ -356,7 +356,7 @@
1.4 (Code_Symbol.dest_class_instance_data printings);
1.5 in
1.6 (names_const @ names_tyco @ names_class @ names_inst,
1.7 - (const_syntax, tyco_syntax, class_syntax))
1.8 + (Symtab.lookup const_syntax, Symtab.lookup tyco_syntax, Symtab.lookup class_syntax))
1.9 end;
1.10
1.11 fun project_program thy names_hidden names1 program2 =
1.12 @@ -392,9 +392,9 @@
1.13 reserved_syms = reserved,
1.14 identifiers = identifiers,
1.15 includes = includes,
1.16 - const_syntax = Symtab.lookup const_syntax,
1.17 - tyco_syntax = Symtab.lookup tyco_syntax,
1.18 - class_syntax = Symtab.lookup class_syntax },
1.19 + const_syntax = const_syntax,
1.20 + tyco_syntax = tyco_syntax,
1.21 + class_syntax = class_syntax },
1.22 program)
1.23 end;
1.24