# HG changeset patch
# User wenzelm
# Date 955803691 -7200
# Node ID 3ba75b7e116899b4da2a49b817d8fea7ad176a13
# Parent  20c42415c07dc8bdd36d66037232a572fe982280
next_block: reset_facts;

diff -r 20c42415c07d -r 3ba75b7e1168 src/Pure/Isar/proof.ML
--- a/src/Pure/Isar/proof.ML	Sat Apr 15 15:00:57 2000 +0200
+++ b/src/Pure/Isar/proof.ML	Sat Apr 15 15:01:31 2000 +0200
@@ -703,7 +703,8 @@
   state
   |> assert_forward
   |> close_block
-  |> new_block;
+  |> new_block
+  |> reset_facts;
 
 
 end;