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))
-