Index: libcfa/src/concurrency/kernel.hfa
===================================================================
--- libcfa/src/concurrency/kernel.hfa	(revision 454b4e01b75e00e1a232a34fc6777a3e01b733c2)
+++ libcfa/src/concurrency/kernel.hfa	(revision 0240a7cb7979f24051511d43c3d45b6d79bb5d08)
@@ -173,5 +173,5 @@
 
 static inline void  ?{}(__timestamp_t & this) { this.tv = 0; this.ma = 0; }
-static inline void ^?{}(__timestamp_t & this) {}
+static inline void ^?{}(__timestamp_t &) {}
 
 struct __attribute__((aligned(128))) __ready_queue_caches_t;