From 3ce1ce4c7306762947413e0808f201d15e620f6d Mon Sep 17 00:00:00 2001
From: Mike Sperber <sperber@deinprogramm.de>
Date: Sat, 19 Sep 2009 18:01:30 +0000
Subject: [PATCH] Don't let the stepper snoop inside `for-all'.

svn: r16076
---
 collects/deinprogramm/DMdA.ss | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/collects/deinprogramm/DMdA.ss b/collects/deinprogramm/DMdA.ss
index 5a6733fea2..a4fc2bae62 100644
--- a/collects/deinprogramm/DMdA.ss
+++ b/collects/deinprogramm/DMdA.ss
@@ -985,8 +985,11 @@
 			      (raise-syntax-error #f "inkorrekte `for-all'-Klausel - sollte die Form (id contr) haben"
 						  pr))))
 			 (syntax->list #'(?clause ...)))))
-       #'(quickcheck:property 
-	  ((?id ?arb) ...) ?body)))
+
+       (stepper-syntax-property #'(quickcheck:property 
+				   ((?id ?arb) ...) ?body)
+				'stepper-skip-completely
+				#t)))
     ((_ ?something ?body)
      (raise-syntax-error #f "keine Klauseln der Form (id contr)"
 			 stx))