--- a/src/HOL/Library/code_test.ML Thu May 26 15:27:50 2016 +0200
+++ b/src/HOL/Library/code_test.ML Thu May 26 15:27:50 2016 +0200
@@ -177,7 +177,7 @@
val with_dir = if debug then with_overlord_dir else Isabelle_System.with_tmp_dir
fun evaluate f = with_dir "Code_Test" (driver ctxt f) |> parse_result compiler
fun evaluator program _ vs_ty deps =
- Exn.interruptible_capture evaluate (Code_Target.evaluator ctxt target program deps true vs_ty);
+ Exn.interruptible_capture evaluate (Code_Target.computation_text ctxt target program deps true vs_ty);
fun postproc f = map (apsnd (map_option (map f)))
in
Exn.release (Code_Thingol.dynamic_value ctxt (Exn.map_res o postproc) evaluator t)