--- a/src/Tools/Code/code_runtime.ML Wed Apr 19 23:27:55 2023 +0200
+++ b/src/Tools/Code/code_runtime.ML Thu Apr 20 11:57:34 2023 +0200
@@ -718,7 +718,7 @@
val code_binding = Path.map_binding Code_Target.code_path binding;
val preamble =
"(* Generated from " ^
- Path.implode (Resources.thy_path (Path.basic (Context.theory_name thy))) ^
+ Path.implode (Resources.thy_path (Path.basic (Context.theory_base_name thy))) ^
"; DO NOT EDIT! *)";
val thy' = Code_Target.export code_binding (Bytes.string (preamble ^ "\n\n" ^ code)) thy;
val _ = Code_Target.code_export_message thy';