--- 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;