src/Tools/Code/code_ml.ML
changeset 38784 3b4d63ab03c4
parent 38779 89f654951200
child 38863 9070a7c356c9
--- 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 **)