Fix signature True

racket · Nov 1, 2024 · e1fa945 · e1fa945
1 parent 0668f0a
commit e1fa945
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/htdp-lib/lang/private/teach.rkt b/htdp-lib/lang/private/teach.rkt
@@ -3238,7 +3238,7 @@
 
 (define Boolean (signature/arbitrary arbitrary-boolean Boolean (predicate boolean?)))
 
-(define True (signature True (enum #f)))
+(define True (signature True (enum #t)))
 (define False (signature False (enum #f)))
 
 (define String (signature/arbitrary arbitrary-printable-ascii-string String (predicate string?)))