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