--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML Thu May 08 21:17:23 2014 +0200
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML Fri May 09 08:13:26 2014 +0200
@@ -305,9 +305,9 @@
fun dynamic_value_strict opts cookie ctxt postproc t =
let
- fun evaluator program ((_, vs_ty), t) deps =
+ fun evaluator program _ vs_ty_t deps =
Exn.interruptible_capture (value opts ctxt cookie)
- (Code_Target.evaluator ctxt target program deps true (vs_ty, t));
+ (Code_Target.evaluator ctxt target program deps true vs_ty_t);
in Exn.release (Code_Thingol.dynamic_value ctxt (Exn.map_result o postproc) evaluator t) end;
(** counterexample generator **)