--- a/src/Doc/Tutorial/ToyList/ToyList_Test.thy Tue Mar 18 16:45:14 2014 +0100
+++ b/src/Doc/Tutorial/ToyList/ToyList_Test.thy Tue Mar 18 17:39:03 2014 +0100
@@ -5,7 +5,7 @@
ML {* (* FIXME somewhat non-standard, fragile *)
let
val texts =
- map (File.read o Path.append (Thy_Load.master_directory @{theory}) o Path.explode)
+ map (File.read o Path.append (Resources.master_directory @{theory}) o Path.explode)
["ToyList1", "ToyList2"];
val trs = Outer_Syntax.parse Position.start (implode texts);
val end_state = fold (Toplevel.command_exception false) trs Toplevel.toplevel;