--- a/src/Pure/Isar/outer_syntax.ML Thu Oct 07 12:33:54 1999 +0200
+++ b/src/Pure/Isar/outer_syntax.ML Thu Oct 07 12:36:39 1999 +0200
@@ -387,8 +387,8 @@
Present.init_theory name;
Present.verbatim_source name (present_text text);
if is_old_theory (src, pos) then ThySyn.load_thy name text
- else (Present.token_source name (present_toks text pos);
- Toplevel.excursion_error (parse_thy (src, pos)))
+ else (Toplevel.excursion_error (parse_thy (src, pos));
+ Present.token_source name (present_toks text pos))
end;
in