public/IThreader.h
changeset 4025 542dde661d5c
parent 3704 dd325be8f8a1
child 4031 852cf4415d12
     1.1 --- a/public/IThreader.h	Mon Aug 19 12:59:10 2013 -0700
     1.2 +++ b/public/IThreader.h	Mon Aug 19 20:58:02 2013 -0700
     1.3 @@ -38,6 +38,7 @@
     1.4   */
     1.5  
     1.6  #include <IShareSys.h>
     1.7 +#include <ke_thread_utils.h>
     1.8  
     1.9  #define SMINTERFACE_THREADER_NAME		"IThreader"
    1.10  #define SMINTERFACE_THREADER_VERSION	3