src/Tools/Code/code_runtime.ML
changeset 63156 3cb84e4469a7
parent 63064 2f18172214c8
child 63157 65a81a4ef7f8
     1.1 --- a/src/Tools/Code/code_runtime.ML	Thu May 26 09:05:00 2016 +0200
     1.2 +++ b/src/Tools/Code/code_runtime.ML	Thu May 26 15:27:50 2016 +0200
     1.3 @@ -200,7 +200,7 @@
     1.4        o reject_vars ctxt;
     1.5  
     1.6  fun static_holds_conv (ctxt_consts as { ctxt, ... }) =
     1.7 -  Code_Thingol.static_conv ctxt_consts (fn { program, deps } => fn ctxt' => fn vs_t =>
     1.8 +  Code_Thingol.static_conv_thingol ctxt_consts (fn { program, deps } => fn ctxt' => fn vs_t =>
     1.9      K (check_holds_oracle ctxt' (obtain_evaluator ctxt NONE program (map Constant deps)) vs_t o reject_vars ctxt'));
    1.10  
    1.11  end; (*local*)