author | wenzelm |
Mon, 05 Nov 2018 15:00:55 +0100 | |
changeset 69238 | d98cfb369cbd |
parent 69237 | 76696742fd30 |
child 69239 | 6cd985a78d6e |
--- a/src/Pure/PIDE/resources.ML Mon Nov 05 15:00:22 2018 +0100 +++ b/src/Pure/PIDE/resources.ML Mon Nov 05 15:00:55 2018 +0100 @@ -138,7 +138,7 @@ fun begin_theory master_dir {name, imports, keywords} parents = Theory.begin_theory name parents - |> map_files (fn _ => (master_dir, imports, [])) + |> map_files (fn _ => (Path.explode (Path.smart_implode master_dir), imports, [])) |> Thy_Header.add_keywords keywords;