c_src: regenerate

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

diff --git a/c_src/kernel.sep.0.h b/c_src/kernel.sep.0.h
deleted file mode 100644 (file)
index 779c658..0000000
--- a/c_src/kernel.sep.0.h
+++ /dev/null
@@ -1,45 +0,0 @@
-#include "nit.common.h"
-#define COLOR_kernel__Object___61d_61d 2
-#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 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);
-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__hash(long self);
-extern const struct class class_kernel__Int;
-long kernel__Int__to_i(long self);
-long kernel__Int__distance(long self, long p0);
-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;
-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);
-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"