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