1.1 --- a/src/Tools/Code/code_ml.ML	Thu Aug 26 14:04:13 2010 +0200
     1.2 +++ b/src/Tools/Code/code_ml.ML	Thu Aug 26 20:14:24 2010 +0200
     1.3 @@ -946,8 +946,8 @@
     1.4  (** for instrumentalization **)
     1.5  
     1.6  fun evaluation_code_of thy target struct_name =
     1.7 -  Code_Target.serialize_custom thy (target, fn _ => fn [] =>
     1.8 -    serialize_ml target print_sml_module print_sml_stmt (SOME struct_name) true);
     1.9 +  Code_Target.serialize_custom thy (target, fn module_name => fn [] =>
    1.10 +    serialize_ml target print_sml_module print_sml_stmt module_name true) (SOME struct_name);
    1.11  
    1.12  
    1.13  (** Isar setup **)