src/Tools/Code/code_runtime.ML
changeset 67649 1e1782c1aedf
parent 67630 25cb2299f8a4
child 69593 3dda49e08b9d
     1.1 --- a/src/Tools/Code/code_runtime.ML	Sat Feb 17 20:03:37 2018 +0100
     1.2 +++ b/src/Tools/Code/code_runtime.ML	Sun Feb 18 15:05:21 2018 +0100
     1.3 @@ -354,7 +354,7 @@
     1.4  
     1.5  fun get ctxt =
     1.6    Computation_Preproc_Data.get (Proof_Context.theory_of ctxt)
     1.7 -  |> map (Thm.transfer (Proof_Context.theory_of ctxt))
     1.8 +  |> map (Thm.transfer' ctxt)
     1.9  
    1.10  in
    1.11