csrc: regen for 32 bits platforms and Windows

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

diff --git a/c_src/core__time.sep.1.c b/c_src/core__time.sep.1.c
index 4f7f9a2..cb6c844 100644 (file)
--- a/c_src/core__time.sep.1.c
+++ b/c_src/core__time.sep.1.c
@@ -1,12 +1,12 @@
 #include "core__time.sep.0.h"
-/* method time#Sys#get_time for (self: Sys): Int */
+/* method time$Sys$get_time for (self: Sys): Int */
 long core__time___Sys___get_time(val* self) {
 long var /* : Int */;
 long var1 /* : Int */;
 struct nitni_instance* var_for_c_0;
 var_for_c_0 = nit_alloc(sizeof(struct nitni_instance));
 var_for_c_0->value = self;
-var1 = time___Sys_get_time___impl(var_for_c_0);
+var1 = core__time___Sys_get_time___impl(var_for_c_0);
 var = var1;
 goto RET_LABEL;
 RET_LABEL:;