src/Provers/classical.ML

--- a/src/Provers/classical.ML	Sat Feb 17 20:03:37 2018 +0100
+++ b/src/Provers/classical.ML	Sun Feb 18 15:05:21 2018 +0100
@@ -196,7 +196,7 @@
   trying rules in order. *)
 fun swap_res_tac ctxt rls =
   let
-    val transfer = Thm.transfer (Proof_Context.theory_of ctxt);
+    val transfer = Thm.transfer' ctxt;
     fun addrl rl brls = (false, transfer rl) :: (true, transfer rl RSN (2, Data.swap)) :: brls;
   in
     assume_tac ctxt ORELSE'