src/HOL/Tools/Quickcheck/narrowing_generators.ML
changeset 45419 10ba32c347b0
parent 45418 e5ef7aa77fde
child 45420 d17556b9a89b
     1.1 --- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Wed Nov 09 11:34:57 2011 +0100
     1.2 +++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Wed Nov 09 11:34:59 2011 +0100
     1.3 @@ -456,7 +456,7 @@
     1.4        end
     1.5    end;
     1.6  
     1.7 -fun test_goals ctxt insts goals =
     1.8 +fun test_goals ctxt _ insts goals =
     1.9    if (not (getenv "ISABELLE_GHC" = "")) then
    1.10      let
    1.11        val correct_inst_goals = Quickcheck_Common.instantiate_goals ctxt insts goals