X-Git-Url: http://nitlanguage.org

diff --git a/c_src/nit__nith.sep.0.h b/c_src/nit__nith.sep.0.h
index 4828222..45aae4d 100644
--- a/c_src/nit__nith.sep.0.h
+++ b/c_src/nit__nith.sep.0.h
@@ -1,16 +1,15 @@
 #include "nit.common.h"
-#define COLOR_nit__nith___ToolContext___process_options 145
-#define COLOR_nit__separate_compiler__ToolContext___opt_separate 72
+#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 85
+#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___Object___print(val* self, val* 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[];
-val* BOX_standard__Bool(short int);