From 16541521930c1a11ef59602f27a68c0c26b3b079 Mon Sep 17 00:00:00 2001
From: Enrico Joerns <e.joerns@tu-bs.de>
Date: Wed, 4 Jun 2014 15:00:22 +0200
Subject: [PATCH] [core] timer: Added note that timer_reset must not be
 executed before timer expired

Should save some users debugging time while adding no computation overhead
that would be needed for range checks
---
 core/sys/timer.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/core/sys/timer.c b/core/sys/timer.c
index d13b61f98..47ff2d1c5 100644
--- a/core/sys/timer.c
+++ b/core/sys/timer.c
@@ -76,8 +76,9 @@ timer_set(struct timer *t, clock_time_t interval)
  * function will cause the timer to be stable over time, unlike the
  * timer_restart() function.
  *
- * \param t A pointer to the timer.
+ * \note Must not be executed before timer expired
  *
+ * \param t A pointer to the timer.
  * \sa timer_restart()
  */
 void