diff --git a/collects/redex/examples/contracts.ss b/collects/redex/examples/contracts.ss
index 70b9a34d6b..a74c9fd0fa 100644
--- a/collects/redex/examples/contracts.ss
+++ b/collects/redex/examples/contracts.ss
@@ -151,4 +151,4 @@ and a few numeric predicates
          (term (ac (cons odd? positive?) (cons 3 1) +))
          (term (cons 3 1)))
 
-(test-results)
\ No newline at end of file
+(test-results)