c_src: update with new intern methods

[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 69cb2b8..0f620df 100644 (file)
--- a/c_src/kernel.sep.0.h
+++ b/c_src/kernel.sep.0.h
@@ -30,9 +30,11 @@ extern const int COLOR_kernel__Discrete__succ;
 long kernel__Discrete__distance(val* self, val* p0);
 extern const struct class class_kernel__Bool;
 long kernel__Bool__hash(short int self);
+extern const struct type type_kernel__Float;
 long kernel__Int__hash(long self);
 extern const struct class class_kernel__Int;
 extern const struct type type_kernel__Int;
+val* BOX_kernel__Int(long);
 long kernel__Int__distance(long self, long p0);
 long kernel__Int___60d_61d_62d(long self, long p0);
 short int kernel__Int__is_between(long self, long p0, long p1);
@@ -45,6 +47,7 @@ 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;
+val* BOX_kernel__Char(char);
 long kernel__Char__distance(char self, char p0);
 short int kernel__Char__is_digit(char self);
 char kernel__Char__to_lower(char self);
@@ -53,4 +56,5 @@ short int kernel__Char__is_upper(char self);
 short int kernel__Char__is_lower(char self);
 char kernel__Char__to_upper(char self);
 short int kernel__Char__is_letter(char self);
+int kernel___Pointer_address_is_null___impl( void* recv );
 short int kernel__Pointer__address_is_null(void* self);