update c_src

[nit.git] / c_src / kernel.sep.0.h

diff --git a/c_src/kernel.sep.0.h b/c_src/kernel.sep.0.h
index a6bb1ca..779c658 100644 (file)
--- a/c_src/kernel.sep.0.h
+++ b/c_src/kernel.sep.0.h
@@ -3,9 +3,11 @@
 #define COLOR_kernel__Object__object_id 0
 extern const struct type type_kernel__Int;
 long kernel__Object__hash(val* self);
+void abstract_compiler__Sys__main(val* self);
+void kernel__Sys__run(val* self);
 long kernel___Sys_errno___impl( struct nitni_instance * recv );
 #define COLOR_kernel__Comparable_VTOTHER 0
-#define COLOR_kernel__Comparable___60d 29
+#define COLOR_kernel__Comparable___60d 31
 short int kernel__Comparable___60d_61d(val* self, val* p0);
 short int kernel__Comparable___62d_61d(val* self, val* p0);
 short int kernel__Comparable___62d(val* self, val* p0);
@@ -13,12 +15,13 @@ long kernel__Comparable___60d_61d_62d(val* self, val* p0);
 extern const struct class class_kernel__Bool;
 long kernel__Bool__to_i(short int self);
 long kernel__Bool__hash(short int self);
+extern const struct class class_kernel__Float;
 extern const struct type type_kernel__Float;
 val* BOX_kernel__Float(double);
 double kernel__Float__to_f(double self);
+long kernel__Float___60d_61d_62d(double self, double p0);
 long kernel__Int__successor(long self, long p0);
 val* BOX_kernel__Int(long);
-long kernel__Int__predecessor(long self, long p0);
 long kernel__Int__hash(long self);
 extern const struct class class_kernel__Int;
 long kernel__Int__to_i(long self);
@@ -27,6 +30,7 @@ long kernel__Int___60d_61d_62d(long self, long p0);
 long kernel__Int__digit_count_base_95d10(long self);
 long kernel__Int__digit_count(long self, long p0);
 char kernel__Int__to_c(long self);
+long kernel__Int__abs(long self);
 long kernel__Char__hash(char self);
 extern const struct class class_kernel__Char;
 extern const struct type type_kernel__Char;
@@ -36,4 +40,6 @@ short int kernel__Char__is_digit(char self);
 char kernel__Char__to_lower(char self);
 long kernel__Char__to_i(char self);
 short int kernel__Char__is_upper(char self);
+short int kernel__Char__is_lower(char self);
+char kernel__Char__to_upper(char self);
 #include "kernel_nit.h"