changeset 69238 | d98cfb369cbd |
parent 68090 | 7c8ed28dd40a |
child 69281 | 599b6d0d199b |
--- 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;