src/Pure/Tools/rule_insts.ML

--- a/src/Pure/Tools/rule_insts.ML	Sun Nov 09 11:05:20 2014 +0100
+++ b/src/Pure/Tools/rule_insts.ML	Sun Nov 09 14:08:00 2014 +0100
@@ -270,7 +270,7 @@
               (map lifttvar envT', map liftpair cenv)
               (Thm.lift_rule cgoal thm)
       in
-        compose_tac (bires_flag, rule, nprems_of thm) i
+        compose_tac ctxt' (bires_flag, rule, nprems_of thm) i
       end) i st;
   in tac end;