diff options
Diffstat (limited to 'c/src/exec/score/headers/thread.h')
-rw-r--r-- | c/src/exec/score/headers/thread.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/c/src/exec/score/headers/thread.h b/c/src/exec/score/headers/thread.h index d2ffb41093..94909a3a18 100644 --- a/c/src/exec/score/headers/thread.h +++ b/c/src/exec/score/headers/thread.h @@ -148,6 +148,7 @@ typedef struct { MP_packet_Prefix *receive_packet; /****************** end of common block ********************/ boolean is_global; + boolean do_post_task_switch_extension; Chain_Control *ready; Priority_Information Priority_map; Thread_Start_information Start; |