From 9a5e9d674a5fc4d6bff1266ffae3bf6d2f664f55 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Tue, 11 Jan 2005 10:03:34 +0000
Subject: [PATCH] - Removed some debugging output.

---
 src/timer.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/timer.c b/src/timer.c
index e1fe190..83293c7 100644
--- a/src/timer.c
+++ b/src/timer.c
@@ -22,7 +22,6 @@ void set_time_limit (int seconds)
       time_max_seconds = 0;
       endwait = 0;
     }
-  printf ("Timer: %i\n", time_max_seconds);
 }
 
 //! Retrieve time limit