# HG changeset patch
# User wenzelm
# Date 1187719540 -7200
# Node ID 9ddef2b1118ac4d5bac80fcb22ae8213ee31f506
# Parent  cf24894b81ff3c66d669e8fa93023fac8a88f8cc
ProofContext.restore_mode;

diff -r cf24894b81ff -r 9ddef2b1118a src/Pure/Isar/theory_target.ML
--- a/src/Pure/Isar/theory_target.ML	Tue Aug 21 20:05:38 2007 +0200
+++ b/src/Pure/Isar/theory_target.ML	Tue Aug 21 20:05:40 2007 +0200
@@ -301,7 +301,7 @@
     |> ProofContext.qualified_names
     |> ProofContext.note_thmss_i kind local_facts
     ||> ProofContext.restore_naming lthy
-    ||> ProofContext.restore_stmt lthy
+    ||> ProofContext.restore_mode lthy
   end;