From 686ec837e957386487a31d0d55bfe48223f1fa6e Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Thu, 11 Nov 2010 00:19:17 -0500
Subject: [PATCH] Avoid useless output

---
 collects/setup/winvers.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/collects/setup/winvers.rkt b/collects/setup/winvers.rkt
index f4070ec2de..45451b29b5 100644
--- a/collects/setup/winvers.rkt
+++ b/collects/setup/winvers.rkt
@@ -47,4 +47,5 @@
          (delete-directory/files
           (build-path (find-system-path 'temp-dir) "setvers"))
          (printf "done!\n")]
-        [else (error 'winvers "unknown command line: ~e" argv)]))
+        [else (error 'winvers "unknown command line: ~e" argv)])
+  (void))