From b9f4cfbcd9ee33e3e18651d06388dc89c9e5ae9d Mon Sep 17 00:00:00 2001
From: Martine Lenders <mail@martine-lenders.eu>
Date: Sat, 18 Jul 2015 17:40:09 +0200
Subject: [PATCH] random: fix doc of genrand_uint32_range()

---
 sys/include/random.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/include/random.h b/sys/include/random.h
index 1e21b5f402..577b3f43ed 100644
--- a/sys/include/random.h
+++ b/sys/include/random.h
@@ -55,7 +55,7 @@ void genrand_init_by_array(uint32_t init_key[], int key_length);
 uint32_t genrand_uint32(void);
 
 /**
- * @brief   generates a random number r with a < r <= b.
+ * @brief   generates a random number r with a <= r < b.
  *
  * @param[in] a minimum for random number
  * @param[in] b upper bound for random number
-- 
GitLab