fix the random property; sadly still doesn't find the bug Danny found

2013-01-29 19:24:27 -06:00 · 2013-01-29 19:24:27 -06:00 · 5a55f64444
commit 5a55f64444
parent 8013ccf60e
1 changed files with 1 additions and 1 deletions
--- a/collects/data/union-find.rkt
+++ b/collects/data/union-find.rkt
@ -126,7 +126,7 @@
      (cond
        [(box? uf/box) (void)]
        [else 
-         (unless (<= rank (uf-set-rank uf))
+         (unless (< rank (uf-set-rank uf/box))
           (error 'check-ranks "failed for ~s" 
                  (let loop ([uf uf])
                    (cond