c_src/kernel._nitni.h

   1 #include <nit_common.h>
   2 #include "standard___kernel._sep.h"
   3 #ifndef KERNEL_NITNI_H
   4 #define KERNEL_NITNI_H
   5
   6 #ifndef Pointer
   7         typedef void* Pointer;
   8 #endif
   9
  10 #endif