--- a/src/HOL/Library/code_test.ML Tue Sep 01 22:32:58 2015 +0200
+++ b/src/HOL/Library/code_test.ML Tue Sep 01 23:10:23 2015 +0200
@@ -180,7 +180,7 @@
Exn.interruptible_capture evaluate (Code_Target.evaluator 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_result o postproc) evaluator t)
+ Exn.release (Code_Thingol.dynamic_value ctxt (Exn.map_res o postproc) evaluator t)
end;
(* Term preprocessing *)