Index: runtime/src/kmp_tasking.c
===================================================================
--- runtime/src/kmp_tasking.c
+++ runtime/src/kmp_tasking.c
@@ -341,7 +341,7 @@
     KA_TRACE(20, ("__kmp_push_task: T#%d returning TASK_SUCCESSFULLY_PUSHED: "
                   "task=%p ntasks=%d head=%u tail=%u\n",
                   gtid, taskdata, thread_data->td.td_deque_ntasks,
-                  thread_data->td.td_deque_tail, thread_data->td.td_deque_head) );
+                  thread_data->td.td_deque_head, thread_data->td.td_deque_tail) );
 
     return TASK_SUCCESSFULLY_PUSHED;
 }