src/HOL/Library/code_test.ML
changeset 63157 65a81a4ef7f8
parent 62549 9498623b27f0
child 63806 c54a53ef1873
     1.1 --- a/src/HOL/Library/code_test.ML	Thu May 26 15:27:50 2016 +0200
     1.2 +++ b/src/HOL/Library/code_test.ML	Thu May 26 15:27:50 2016 +0200
     1.3 @@ -177,7 +177,7 @@
     1.4      val with_dir = if debug then with_overlord_dir else Isabelle_System.with_tmp_dir
     1.5      fun evaluate f = with_dir "Code_Test" (driver ctxt f) |> parse_result compiler
     1.6      fun evaluator program _ vs_ty deps =
     1.7 -      Exn.interruptible_capture evaluate (Code_Target.evaluator ctxt target program deps true vs_ty);
     1.8 +      Exn.interruptible_capture evaluate (Code_Target.computation_text ctxt target program deps true vs_ty);
     1.9      fun postproc f = map (apsnd (map_option (map f)))
    1.10    in
    1.11      Exn.release (Code_Thingol.dynamic_value ctxt (Exn.map_res o postproc) evaluator t)