# HG changeset patch
# User wenzelm
# Date 939292599 -7200
# Node ID 6da9b544a12dc3cb0c76151bddef9c39eb028b66
# Parent  ce86227f29d03f7c7e602ee782d8e6bfd7bb97a6
Present.token_source after load (better errors!?);

diff -r ce86227f29d0 -r 6da9b544a12d src/Pure/Isar/outer_syntax.ML
--- 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