--- a/src/Tools/Haskell/haskell.ML Sat Nov 10 19:01:20 2018 +0100
+++ b/src/Tools/Haskell/haskell.ML Sat Nov 10 19:39:38 2018 +0100
@@ -61,9 +61,7 @@
\<^path>\<open>Term_XML/Encode.hs\<close>,
\<^path>\<open>Term_XML/Decode.hs\<close>];
-val master_dir = Resources.master_directory \<^theory>;
-
fun install_sources dir =
- sources |> List.app (fn path => Isabelle_System.copy_file_base (master_dir, path) dir);
+ sources |> List.app (fn path => Isabelle_System.copy_file_base (\<^master_dir>, path) dir);
end;