From 639514e870a7adef3f14dcdb2497c6af65e6b14f Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Tue, 26 Oct 2010 10:57:51 +0200
Subject: [PATCH] * swtimer: using 32bit time variables. Workaround for Bug #3

---
 sys/include/swtimer.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/sys/include/swtimer.h b/sys/include/swtimer.h
index 9f7d9a9730..a8be88b979 100644
--- a/sys/include/swtimer.h
+++ b/sys/include/swtimer.h
@@ -28,11 +28,11 @@
 
 #undef wakeup
 
-#if WORDSIZE == 32
-typedef uint64_t swtime_t;
-#else
+//#if WORDSIZE == 32
+//typedef uint64_t swtime_t;
+//#else
 typedef uint32_t swtime_t;
-#endif
+//#endif
 
 /**
  * A swtimer.