use nitg to bootstrap; drop bootstrap of nitc
[nit.git] / c_src / standard___time._sep.h
diff --git a/c_src/standard___time._sep.h b/c_src/standard___time._sep.h
deleted file mode 100644 (file)
index 77010f9..0000000
+++ /dev/null
@@ -1,13 +0,0 @@
-/* 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>
-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)))
-static const char * const LOCATE_standard___time___Object___get_time = "time::Object::get_time";
-val_t standard___time___Object___get_time(val_t p0);
-typedef val_t (*standard___time___Object___get_time_t)(val_t p0);
-#endif