Index: src/libcfa/concurrency/kernel
===================================================================
--- src/libcfa/concurrency/kernel	(revision 01963dfa3760cf41cdf4471fc638f355a8f15a09)
+++ src/libcfa/concurrency/kernel	(revision aa5fdacafaa9f2ed93053ce97df8731cde47018d)
@@ -10,6 +10,6 @@
 // Created On       : Tue Jan 17 12:27:26 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Mar 23 17:08:20 2018
-// Update Count     : 3
+// Last Modified On : Tue Apr 10 14:46:49 2018
+// Update Count     : 10
 //
 
@@ -19,5 +19,5 @@
 
 #include "invoke.h"
-#include "time"
+#include "time_t.h"
 
 extern "C" {
Index: src/libcfa/concurrency/kernel.c
===================================================================
--- src/libcfa/concurrency/kernel.c	(revision 01963dfa3760cf41cdf4471fc638f355a8f15a09)
+++ src/libcfa/concurrency/kernel.c	(revision aa5fdacafaa9f2ed93053ce97df8731cde47018d)
@@ -10,6 +10,6 @@
 // Created On       : Tue Jan 17 12:27:26 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Mar 30 18:26:11 2018
-// Update Count     : 23
+// Last Modified On : Mon Apr  9 16:11:46 2018
+// Update Count     : 24
 //
 
@@ -25,4 +25,5 @@
 
 //CFA Includes
+#include "time"
 #include "kernel_private.h"
 #include "preemption.h"