1.1 --- a/knight/shared/KeCodeAllocator.h	Thu Aug 08 20:26:36 2013 -0700
     1.2 +++ b/knight/shared/KeCodeAllocator.h	Thu Aug 08 22:02:42 2013 -0700
     1.3 @@ -2,7 +2,8 @@
     1.4  #define _INCLUDE_KNIGHT_KE_CODE_ALLOCATOR_H_
     1.5  
     1.6  #include <KeLinking.h>
     1.7 -#include <KeStdTypes.h>
     1.8 +#include <stddef.h>
     1.9 +#include <stdint.h>
    1.10  
    1.11  namespace Knight
    1.12  {