changeset 30675 | 2e796219f441 |
parent 30672 | beaadd5af500 |
child 30941 | 705bb15b2365 |
--- a/src/Tools/code/code_ml.ML Mon Mar 23 21:40:12 2009 +0100 +++ b/src/Tools/code/code_ml.ML Mon Mar 23 21:57:52 2009 +0100 @@ -1037,7 +1037,7 @@ fun isar_seri_sml module_name = Code_Target.parse_args (Scan.succeed ()) #> (fn () => serialize_ml target_SML - (SOME (use_text ML_Context.name_space (1, "generated code") Output.ml_output false)) + (SOME (use_text ML_Context.local_context (1, "generated code") false)) pr_sml_module pr_sml_stmt module_name); fun isar_seri_ocaml module_name =