c_src: regenerate

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

diff --git a/c_src/nith.sep.0.h b/c_src/nith.sep.0.h
deleted file mode 100644 (file)
index 8c0e5ea..0000000
--- a/c_src/nith.sep.0.h
+++ /dev/null
@@ -1,13 +0,0 @@
-#include "nit.common.h"
-#define COLOR_nith__ToolContext__process_options 135
-#define COLOR_separate_compiler__ToolContext___opt_separate 66
-#define COLOR_opts__Option___value 6
-long kernel__Bool__to_i(short int self);
-#define COLOR_separate_erasure_compiler__ToolContext___opt_erasure 78
-extern const struct type type_kernel__Int;
-val* string__NativeString__to_s_with_length(char* self, long p0);
-void file__Object__print(val* self, val* p0);
-#define COLOR_opts__Option_VTVALUE 0
-extern const struct type type_kernel__Bool;
-val* BOX_kernel__Bool(short int);
-void nith__ToolContext__process_options(val* self, val* p0);