-/* This C header file is generated by NIT to compile modules and programs that requires ./../lib/standard/time. */
+/* This C header file is generated by NIT to compile modules and programs that requires ../lib/standard/time. */
#ifndef standard___time_sep
#define standard___time_sep
#include "standard___kernel._sep.h"
#include <nit_common.h>
-#include <time_nit.h>
+#include "time._nitni.h"
extern const char *LOCATE_standard___time;
extern const int SFT_standard___time[];
#define CALL_standard___time___Object___get_time(recv) ((standard___time___Object___get_time_t)CALL((recv), (SFT_standard___time[0] + 0)))