--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML Sat Jan 25 23:50:49 2014 +0100
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML Sat Jan 25 23:50:49 2014 +0100
@@ -309,9 +309,9 @@
fun dynamic_value_strict opts cookie thy postproc t =
let
val ctxt = Proof_Context.init_global thy
- fun evaluator naming program ((_, vs_ty), t) deps =
+ fun evaluator program ((_, vs_ty), t) deps =
Exn.interruptible_capture (value opts ctxt cookie)
- (Code_Target.evaluator thy target naming program deps (vs_ty, t));
+ (Code_Target.evaluator thy target program deps (vs_ty, t));
in Exn.release (Code_Thingol.dynamic_value thy (Exn.map_result o postproc) evaluator t) end;
(** counterexample generator **)