--- a/src/Tools/Code/code_eval.ML Sat Jul 24 12:14:53 2010 +0200
+++ b/src/Tools/Code/code_eval.ML Sat Jul 24 21:22:21 2010 +0200
@@ -173,7 +173,8 @@
end
| process (code_body, _) _ (SOME file_name) thy =
let
- val preamble = "(* Generated from " ^ Path.implode (Thy_Load.thy_path (Context.theory_name thy))
+ val preamble =
+ "(* Generated from " ^ Path.implode (Thy_Header.thy_path (Context.theory_name thy))
^ "; DO NOT EDIT! *)";
val _ = File.write (Path.explode file_name) (preamble ^ "\n\n" ^ code_body);
in