Index: node.h =================================================================== --- node.h.orig 2009-02-25 07:15:55.000000000 +0100 +++ node.h 2010-07-01 14:07:38.645191446 +0200 @@ -395,7 +395,7 @@ enum rb_thread_status { THREAD_TO_KILL, THREAD_RUNNABLE, THREAD_STOPPED, - THREAD_KILLED, + THREAD_KILLED }; typedef struct rb_thread *rb_thread_t;