From e7c9bcfa8f7e6f0ccb729d4c6e0484cceda04e39 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 10 Mar 2016 18:24:56 +0000 Subject: [PATCH] Canonicalize treap-empty result --- prospect/treap.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prospect/treap.rkt b/prospect/treap.rkt index 0003b12..8d0b993 100644 --- a/prospect/treap.rkt +++ b/prospect/treap.rkt @@ -71,7 +71,7 @@ ;; The singleton "empty" leaf sentinel (define L0 (L)) -(define (treap-empty o) (treap o L0 0)) +(define (treap-empty o) (canonicalize (treap o L0 0))) (define (treap-empty? t) (zero? (treap-size t)))