src/Tools/Haskell/haskell.ML
changeset 69287 94fa3376ba33
parent 69253 9f21381600e3
child 69294 4c3704ecb0e6
     1.1 --- a/src/Tools/Haskell/haskell.ML	Sat Nov 10 19:01:20 2018 +0100
     1.2 +++ b/src/Tools/Haskell/haskell.ML	Sat Nov 10 19:39:38 2018 +0100
     1.3 @@ -61,9 +61,7 @@
     1.4    \<^path>\<open>Term_XML/Encode.hs\<close>,
     1.5    \<^path>\<open>Term_XML/Decode.hs\<close>];
     1.6  
     1.7 -val master_dir = Resources.master_directory \<^theory>;
     1.8 -
     1.9  fun install_sources dir =
    1.10 -  sources |> List.app (fn path => Isabelle_System.copy_file_base (master_dir, path) dir);
    1.11 +  sources |> List.app (fn path => Isabelle_System.copy_file_base (\<^master_dir>, path) dir);
    1.12  
    1.13  end;