From 71e83fb9308a76a2515cf7f14879449880087122 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 21 Jun 2012 01:54:23 -0400 Subject: [PATCH] Random pickiness. Spaces at EOFs, indentation, etc. original commit: 7d6e79023cf9872e6f6af2f89961b742c6296f1d --- collects/mzlib/integer-set.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/mzlib/integer-set.rkt b/collects/mzlib/integer-set.rkt index 035cc6a..367b86c 100644 --- a/collects/mzlib/integer-set.rkt +++ b/collects/mzlib/integer-set.rkt @@ -132,7 +132,7 @@ ((merge-helper '((2 . 2) (4 . 4) (6 . 7) (9 . 9) (11 . 11)) '((1 . 1) (3 . 3) (5 . 5) (8 . 8) (10 . 10) (12 . 12))) '((1 . 12)))) - + ;; merge : integer-set integer-set -> integer-set ;; Union of s1 and s2 (define (merge s1 s2) @@ -283,8 +283,8 @@ ((c '((1 . 5) (7 . 12)) 2 8) '((6 . 6))) ((c '((1 . 5) (7 . 12)) 6 6) '((6 . 6))) ((c '((1 . 5) (7 . 12)) 7 7) '())) - - + + ;; member?-helper : int (listof (cons int int)) -> bool (define (member?-helper i is) (and