c_src: regenerate
[nit.git] / c_src / nit__nith.sep.0.h
diff --git a/c_src/nit__nith.sep.0.h b/c_src/nit__nith.sep.0.h
deleted file mode 100644 (file)
index 45aae4d..0000000
+++ /dev/null
@@ -1,15 +0,0 @@
-#include "nit.common.h"
-#define COLOR_nit__nith___ToolContext___process_options 142
-#define COLOR_nit__separate_compiler__ToolContext___opt_separate 54
-extern const char FILE_nit__separate_compiler[];
-#define COLOR_opts__Option___value 6
-long standard___standard__Bool___to_i(short int self);
-#define COLOR_nit__separate_erasure_compiler__ToolContext___opt_erasure 50
-extern const char FILE_nit__separate_erasure_compiler[];
-extern const struct type type_standard__Int;
-extern const char FILE_standard__kernel[];
-val* standard___standard__NativeString___to_s_with_length(char* self, long p0);
-void standard__file___Sys___print(val* self, val* p0);
-#define COLOR_opts__Option__VALUE 0
-extern const struct type type_standard__Bool;
-extern const char FILE_opts[];