src/Pure/Isar/context_rules.ML

--- a/src/Pure/Isar/context_rules.ML	Sat Feb 17 20:03:37 2018 +0100
+++ b/src/Pure/Isar/context_rules.ML	Sun Feb 18 15:05:21 2018 +0100
@@ -161,7 +161,7 @@
 
 fun find_rules_netpair ctxt weighted facts goal (inet, enet) =
   find_erules weighted facts enet @ find_irules weighted goal inet
-  |> map (Thm.transfer (Proof_Context.theory_of ctxt));
+  |> map (Thm.transfer' ctxt);
 
 fun find_rules ctxt weighted facts goal =
   map (find_rules_netpair ctxt weighted facts goal) (netpairs ctxt);