c_src: regenerate

[nit.git] / c_src / time.sep.1.c

diff --git a/c_src/time.sep.1.c b/c_src/time.sep.1.c
deleted file mode 100644 (file)
index cb1290d..0000000
--- a/c_src/time.sep.1.c
+++ /dev/null
@@ -1,26 +0,0 @@
-#include "time.sep.0.h"
-/* method time#Object#get_time for (self: Object): Int */
-long time__Object__get_time(val* self) {
-long var /* : Int */;
-long var1 /* : Int for extern */;
-var1 = kernel_Any_Any_get_time_0(self);
-var = var1;
-goto RET_LABEL;
-RET_LABEL:;
-return var;
-}
-/* method time#Object#get_time for (self: Object): Int */
-long VIRTUAL_time__Object__get_time(val* self) {
-long var /* : Int */;
-long var1 /* : Int */;
-long var3 /* : Int for extern */;
-{ /* Inline time#Object#get_time (self) on <self:Object> */
-var3 = kernel_Any_Any_get_time_0(self);
-var1 = var3;
-goto RET_LABEL2;
-RET_LABEL2:(void)0;
-}
-var = var1;
-RET_LABEL:;
-return var;
-}