From a825d77e4a7817ef98649c98e77aa456fbe7dd86 Mon Sep 17 00:00:00 2001
From: Mike Sperber <sperber@deinprogramm.de>
Date: Mon, 7 Sep 2009 16:31:18 +0000
Subject: [PATCH] Merge branches/mike/quickcheck:

Add QuickCheck-based property testing to the DeinProgramm/DMdA languages.

svn: r15901

original commit: 89ec442c0432a066c8df01858fa2f676c0f9b355
---
 collects/framework/private/main.ss | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/collects/framework/private/main.ss b/collects/framework/private/main.ss
index 2955d91e..b0e70f24 100644
--- a/collects/framework/private/main.ss
+++ b/collects/framework/private/main.ss
@@ -257,7 +257,10 @@
                parameterize
                call-with-input-file call-with-input-file* with-input-from-file
                with-input-from-port call-with-output-file
-               with-output-to-file with-output-to-port))
+               with-output-to-file with-output-to-port
+
+	       for-all
+	       ))
   (preferences:set-default 
    'framework:tabify
    (list hash-table #rx"^begin" #rx"^def" #f)