From b75d2ef5f4d89ca0e98c313f618ea34b9803d508 Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Tue, 10 Nov 2015 18:28:19 -0500 Subject: [PATCH] Whitespace --- stdlib/nat.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/stdlib/nat.rkt b/stdlib/nat.rkt index 85eced7..57694b1 100644 --- a/stdlib/nat.rkt +++ b/stdlib/nat.rkt @@ -79,4 +79,3 @@ (check-equal? (odd? (s (s (s z)))) true)) -