src/Pure/PIDE/resources.ML
changeset 69287 94fa3376ba33
parent 69286 599b6d0d199b
child 69295 bf6937af7fe8
     1.1 --- a/src/Pure/PIDE/resources.ML	Sat Nov 10 19:01:20 2018 +0100
     1.2 +++ b/src/Pure/PIDE/resources.ML	Sat Nov 10 19:39:38 2018 +0100
     1.3 @@ -286,7 +286,9 @@
     1.4    Thy_Output.antiquotation_raw \<^binding>\<open>dir\<close> (document_antiq check_dir) (K I) #>
     1.5    ML_Antiquotation.value \<^binding>\<open>path\<close> (ML_antiq check_path) #>
     1.6    ML_Antiquotation.value \<^binding>\<open>file\<close> (ML_antiq check_file) #>
     1.7 -  ML_Antiquotation.value \<^binding>\<open>dir\<close> (ML_antiq check_dir));
     1.8 +  ML_Antiquotation.value \<^binding>\<open>dir\<close> (ML_antiq check_dir) #>
     1.9 +  ML_Antiquotation.value \<^binding>\<open>master_dir\<close>
    1.10 +    (Args.theory >> (ML_Syntax.print_path o master_directory)));
    1.11  
    1.12  end;
    1.13