src/Tools/Code/code_target.ML
changeset 52218 b3a5c6f2cb67
parent 52161 51eca565b153
child 52377 afa72aaed518
     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;