# HG changeset patch
# User aspinall
# Date 1164658020 -3600
# Node ID dd39c9e62f19eb8f44064541ed451bb6651a8aea
# Parent  cfd2258f0b23a61120fa0228b706af6db79d50ea
Call the right inform_file_processed function on <closefile>

diff -r cfd2258f0b23 -r dd39c9e62f19 src/Pure/proof_general.ML
--- a/src/Pure/proof_general.ML	Mon Nov 27 18:18:25 2006 +0100
+++ b/src/Pure/proof_general.ML	Mon Nov 27 21:07:00 2006 +0100
@@ -1307,7 +1307,7 @@
                               | NONE => (openfile_retract (fileurl_of attrs);
 					 currently_open_file := SOME (fileurl_of attrs)))
      | "closefile"      => (case !currently_open_file of
-                                SOME f => (inform_file_processed f;
+                                SOME f => (proper_inform_file_processed f (Isar.state());
                                            currently_open_file := NONE)
                               | NONE => raise PGIP ("closefile when no file is open!"))
      | "abortfile"      => (case !currently_open_file of