From 5a55f644445bf7c059d66e307c978f1a8c2a30f4 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 29 Jan 2013 19:24:27 -0600 Subject: [PATCH] fix the random property; sadly still doesn't find the bug Danny found --- collects/data/union-find.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/data/union-find.rkt b/collects/data/union-find.rkt index 832608572e..51da566340 100644 --- 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