# HG changeset patch
# User wenzelm
# Date 1541426455 -3600
# Node ID d98cfb369cbde5304706b82c6358c1a50ce0f768
# Parent  76696742fd30575e8c8f77582bb938d2ee33e90a
prefer symbolic path: it is potentially persisted;

diff -r 76696742fd30 -r d98cfb369cbd src/Pure/PIDE/resources.ML
--- 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;