1 files changed, 13 insertions, 1 deletions
diff --git a/Source/System.c b/Source/System.c
index bd3c0c0..1c76c37 100644
--- a/Source/System.c
+++ b/Source/System.c
@@ -722,9 +722,21 @@ void SystemUserTimersHandler(void)
 void SystemTimerRestart(TYPE_TIMER* timer)
 {
 	timer->time = timer->orig_time;
-	dprintf("Time set to %d seconds, timer 0x%08X\n", timer->time, timer);
 }
 
+/* *********************************************************************
+ * 
+ * @name	void SystemTimerRemove(TYPE_TIMER* timer)
+ * 
+ * @author: Xavier Del Campo
+ *
+ * @brief:	Resets timer parameters to default values so timer instance
+ * 			can be recycled.	
+ *
+ * @remarks:
+ * 
+ * *********************************************************************/
+
 void SystemTimerRemove(TYPE_TIMER* timer)
 {
 	timer->time = 0;