From b80d327d40aace1a0243e78c2ffff2fe55678f3c Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Tue, 12 Oct 2010 14:53:12 +0200 Subject: [PATCH] DMdA typo fix. --HG-- extra : rebase_source : d6f5e160c655713f30df544a60c8033410945103 --- collects/deinprogramm/DMdA.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/deinprogramm/DMdA.rkt b/collects/deinprogramm/DMdA.rkt index 5297307a92..45b27321e3 100644 --- a/collects/deinprogramm/DMdA.rkt +++ b/collects/deinprogramm/DMdA.rkt @@ -914,7 +914,7 @@ (define (false? x) (eq? x #f)) -(define true (signature (one-of #f))) +(define true (signature (one-of #t))) (define false (signature (one-of #f))) (define string (signature/arbitrary arbitrary-printable-ascii-string (predicate string?)))