diff -r 044faa8a8080 -r 1d977436c1bf src/Pure/Thy/thy_load.ML
--- a/src/Pure/Thy/thy_load.ML	Sat Nov 16 19:23:16 2013 +0100
+++ b/src/Pure/Thy/thy_load.ML	Sat Nov 16 20:20:09 2013 +0100
@@ -171,7 +171,7 @@
     val _ = Present.init_theory name;
     fun init () =
       begin_theory master_dir header parents
-      |> Present.begin_theory update_time master_dir;
+      |> Present.begin_theory update_time;
 
     val lexs = Keyword.get_lexicons ();