src/Pure/Isar/proof.ML
changeset 51332 8707df0b0255
parent 51318 e6524a89c9e3
child 51383 50fb0f35a14f
     1.1 --- a/src/Pure/Isar/proof.ML	Mon Mar 04 11:36:16 2013 +0100
     1.2 +++ b/src/Pure/Isar/proof.ML	Mon Mar 04 15:03:46 2013 +0100
     1.3 @@ -1191,7 +1191,7 @@
     1.4  in
     1.5  
     1.6  fun local_future_terminal_proof meths =
     1.7 -  future_terminal_proof 2
     1.8 +  future_terminal_proof 3
     1.9      (local_terminal_proof meths)
    1.10      (local_terminal_proof meths #> context_of) local_done_proof;
    1.11