src/Tools/quickcheck.ML
changeset 30473 e0b66c11e7e4
parent 29266 4a478f9d2847
child 30824 bc6b24882834
     1.1 --- a/src/Tools/quickcheck.ML	Thu Mar 12 15:54:19 2009 +0100
     1.2 +++ b/src/Tools/quickcheck.ML	Thu Mar 12 15:54:58 2009 +0100
     1.3 @@ -144,7 +144,7 @@
     1.4  fun test_goal_auto int state =
     1.5    let
     1.6      val ctxt = Proof.context_of state;
     1.7 -    val assms = map term_of (Assumption.assms_of ctxt);
     1.8 +    val assms = map term_of (Assumption.all_assms_of ctxt);
     1.9      val Test_Params { size, iterations, default_type } =
    1.10        (snd o Data.get o Proof.theory_of) state;
    1.11      fun test () =