src/Pure/Isar/proof.ML
changeset 8718 3ba75b7e1168
parent 8670 d69616c74211
child 8722 f745b34dcde3
     1.1 --- a/src/Pure/Isar/proof.ML	Sat Apr 15 15:00:57 2000 +0200
     1.2 +++ b/src/Pure/Isar/proof.ML	Sat Apr 15 15:01:31 2000 +0200
     1.3 @@ -703,7 +703,8 @@
     1.4    state
     1.5    |> assert_forward
     1.6    |> close_block
     1.7 -  |> new_block;
     1.8 +  |> new_block
     1.9 +  |> reset_facts;
    1.10  
    1.11  
    1.12  end;