fix type comment

(thanks, Sam!)
2014-03-25 14:18:09 -05:00 · 2014-03-25 14:18:09 -05:00 · 0b852ed312
commit 0b852ed312
parent 63f605a93b
1 changed files with 1 additions and 1 deletions
--- a/pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt
@ -287,7 +287,7 @@
       (values (enum-ith enum (random-natural the-size))
               'ignored))]))

-;; pick-an-index : ([0,1] -> Nat) ∪ (-> Nat)
+;; pick-an-index : ([0,1] -> Nat) ∩ (-> Nat)
 (define (pick-an-index [prob-of-zero 0.01])
  (max (random-natural/no-mean prob-of-zero)
       (random-natural/no-mean prob-of-zero)