--- a/src/Pure/Isar/proof.ML Mon Sep 16 23:51:24 2019 +0200
+++ b/src/Pure/Isar/proof.ML Tue Sep 17 16:26:57 2019 +0200
@@ -560,7 +560,7 @@
fun gen_bind bind args state =
state
|> assert_forward
- |> map_context (bind true args #> snd)
+ |> map_context (bind args #> snd)
|> reset_facts;
in