src/Pure/Isar/code.ML

--- a/src/Pure/Isar/code.ML	Sat Feb 17 20:03:37 2018 +0100
+++ b/src/Pure/Isar/code.ML	Sun Feb 18 15:05:21 2018 +0100
@@ -1105,7 +1105,7 @@
   singleton (Variable.trade (K (map (Conv.fconv_rule (conv (Simplifier.rewrite ctxt))))) ctxt)
 
 fun preprocess conv ctxt =
-  Thm.transfer (Proof_Context.theory_of ctxt)
+  Thm.transfer' ctxt
   #> rewrite_eqn conv ctxt
   #> Axclass.unoverload ctxt;