1.1 --- a/src/Tools/Code/code_target.ML Wed May 29 03:10:26 2013 +0200
1.2 +++ b/src/Tools/Code/code_target.ML Wed May 29 10:47:42 2013 +0200
1.3 @@ -613,13 +613,13 @@
1.4
1.5 (* custom symbol names *)
1.6
1.7 -val arrange_name_decls =
1.8 +fun arrange_name_decls x =
1.9 let
1.10 fun arrange is_module (sym, target_names) = map (fn (target, some_name) =>
1.11 (target, (sym, Option.map (check_name is_module) some_name))) target_names;
1.12 in
1.13 Code_Symbol.maps_attr' (arrange false) (arrange false) (arrange false)
1.14 - (arrange false) (arrange false) (arrange true)
1.15 + (arrange false) (arrange false) (arrange true) x
1.16 end;
1.17
1.18 fun cert_name_decls thy = cert_syms thy #> arrange_name_decls;