--- a/src/Pure/Thy/thy_info.ML Sat May 15 23:32:15 2010 +0200
+++ b/src/Pure/Thy/thy_info.ML Sat May 15 23:40:00 2010 +0200
@@ -346,7 +346,7 @@
val _ = CRITICAL (fn () =>
change_deps name (Option.map (fn {master, text, parents, files, ...} =>
make_deps upd_time master text parents files)));
- val after_load = OuterSyntax.load_thy name pos text (time orelse ! Output.timing);
+ val after_load = Outer_Syntax.load_thy name pos text (time orelse ! Output.timing);
val _ =
CRITICAL (fn () =>
(change_deps name