From 122314ca271b05bb59bb0862b0cbde6c6a6a25b1 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 16 Oct 2014 19:36:09 -0500 Subject: [PATCH] name variable consistently --- pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt index 92064e7e1e..36270173a4 100644 --- a/pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt +++ b/pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt @@ -383,8 +383,8 @@ (random-natural/no-mean prob-of-zero))) ;; random-natural/no-mean : [0,1] -> Nat -(define (random-natural/no-mean prob-zero) - (define x (sample (geometric-dist prob-zero))) +(define (random-natural/no-mean prob-of-zero) + (define x (sample (geometric-dist prob-of-zero))) (define m1 (expt 2 (exact-floor x))) (define m0 (quotient m1 2)) (random-integer m0 m1))