From 0934d10e4b63bb9e13171da1d1f1b6a8eba45cee Mon Sep 17 00:00:00 2001
From: Christian Mehlis <mehlis@inf.fu-berlin.de>
Date: Wed, 25 Dec 2013 17:34:30 +0100
Subject: [PATCH] destiny.c: fix usage of timex_t

---
 sys/net/transport_layer/destiny/destiny.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/net/transport_layer/destiny/destiny.c b/sys/net/transport_layer/destiny/destiny.c
index cfd58a676b..3f434c8f29 100644
--- a/sys/net/transport_layer/destiny/destiny.c
+++ b/sys/net/transport_layer/destiny/destiny.c
@@ -55,7 +55,7 @@ int destiny_init_transport_layer(void)
     /* TCP */
     timex_t now;
     vtimer_now(&now);
-    srand(now.microseconds);
+    srand(timex_uint64(now));
 #ifdef TCP_HC
     printf("TCP_HC enabled!\n");
     global_context_counter = rand();