prefer symbolic path: it is potentially persisted;
authorwenzelm
Mon Nov 05 15:00:55 2018 +0100 (6 months ago)
changeset 69238d98cfb369cbd
parent 69237 76696742fd30
child 69239 6cd985a78d6e
prefer symbolic path: it is potentially persisted;
src/Pure/PIDE/resources.ML
     1.1 --- a/src/Pure/PIDE/resources.ML	Mon Nov 05 15:00:22 2018 +0100
     1.2 +++ b/src/Pure/PIDE/resources.ML	Mon Nov 05 15:00:55 2018 +0100
     1.3 @@ -138,7 +138,7 @@
     1.4  
     1.5  fun begin_theory master_dir {name, imports, keywords} parents =
     1.6    Theory.begin_theory name parents
     1.7 -  |> map_files (fn _ => (master_dir, imports, []))
     1.8 +  |> map_files (fn _ => (Path.explode (Path.smart_implode master_dir), imports, []))
     1.9    |> Thy_Header.add_keywords keywords;
    1.10  
    1.11