From 1afaae3fd777df94bac40f1a7b3cf41e73c736ad Mon Sep 17 00:00:00 2001
From: Simon Duquennoy <simon.duquennoy@inria.fr>
Date: Fri, 3 Jun 2016 14:14:28 +0200
Subject: [PATCH] nrf52dk: enable 32bit rtimer

---
 platform/nrf52dk/platform-conf.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/nrf52dk/platform-conf.h b/platform/nrf52dk/platform-conf.h
index cf89dc0a8..d40fd2b3e 100644
--- a/platform/nrf52dk/platform-conf.h
+++ b/platform/nrf52dk/platform-conf.h
@@ -132,9 +132,9 @@ typedef uint32_t uip_stats_t;
 /*
  * rtimer.h typedefs rtimer_clock_t as unsigned short. We need to define
  * RTIMER_CLOCK_DIFF to override this
+ */
 typedef uint32_t rtimer_clock_t;
 #define RTIMER_CLOCK_DIFF(a,b)     ((int32_t)((a)-(b)))
-*/
 
 /** @} */
 /*---------------------------------------------------------------------------*/