changeset 56208 | 06cc31dff138 |
parent 56205 | ceb8a93460b7 |
child 56245 | 84fc7dfa3cd4 |
--- a/src/Tools/Code/code_runtime.ML Tue Mar 18 16:45:14 2014 +0100 +++ b/src/Tools/Code/code_runtime.ML Tue Mar 18 17:39:03 2014 +0100 @@ -325,7 +325,7 @@ let val preamble = "(* Generated from " ^ - Path.implode (Thy_Load.thy_path (Path.basic (Context.theory_name thy))) ^ + Path.implode (Resources.thy_path (Path.basic (Context.theory_name thy))) ^ "; DO NOT EDIT! *)"; val _ = File.write (Path.explode file_name) (preamble ^ "\n\n" ^ code); in