# HG changeset patch
# User wenzelm
# Date 1216064348 -7200
# Node ID 68f98953c784a7c0236cd859e5b470fba83ce18c
# Parent  0dd8d4c558f9582980257ff52ffcfe8beda3d0b7
inform_file_processed: Isar.init_point last!

diff -r 0dd8d4c558f9 -r 68f98953c784 src/Pure/ProofGeneral/proof_general_emacs.ML
--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Jul 14 21:07:57 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Jul 14 21:39:08 2008 +0200
@@ -137,7 +137,6 @@
 
 fun inform_file_processed file =
   let
-    val _ = Isar.init_point ();
     val name = thy_name file;
     val _ = name = "" andalso error ("Bad file name: " ^ quote file);
     val _ =
@@ -147,6 +146,7 @@
             (warning (cat_lines [msg, "Failed to register theory: " ^ quote name]);
               tell_file_retracted (ThyLoad.thy_path name))
       else ();
+    val _ = Isar.init_point ();
   in () end;