From ac855bcd9a007fb579d8d75e4d57f4700d2266b8 Mon Sep 17 00:00:00 2001 From: Burke Fetscher Date: Wed, 8 Oct 2014 11:51:45 -0500 Subject: [PATCH] add missing file from previous push --- pkgs/redex-pkgs/redex-lib/redex/private/search.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/search.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/search.rkt index 32e53c1cac..cdafb37db4 100644 --- a/pkgs/redex-pkgs/redex-lib/redex/private/search.rkt +++ b/pkgs/redex-pkgs/redex-lib/redex/private/search.rkt @@ -199,13 +199,13 @@ (define get-dist (let ([cache (make-hash)]) (λ (l depth max-depth) - (hash-ref cache (list l depth max-depth) + (hash-ref cache (list (length l) depth max-depth) (λ () (define nperms (factorial (length l))) (define d (binomial-dist (sub1 nperms) (+ (/ depth max-depth) (* 0.05 (- 0.5 (/ depth max-depth)))))) - (hash-set! cache d (list l depth max-depth)) + (hash-set! cache (list (length l) depth max-depth) d) d))))) (define (nth-lexico-perm len n)