c_src: regenerate

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

diff --git a/c_src/standard__stream.sep.0.h b/c_src/standard__stream.sep.0.h
deleted file mode 100644 (file)
index 9ffe2da..0000000
--- a/c_src/standard__stream.sep.0.h
+++ /dev/null
@@ -1,34 +0,0 @@
-#include "nit.common.h"
-#define COLOR_standard__stream__Stream___last_error 0
-val* standard___standard__BufferedReader___Reader__read_bytes(val* self, long p0);
-val* standard___standard__Bytes___standard__string__Object__to_s(val* self);
-#define COLOR_standard__kernel__Object___61d_61d 4
-val* standard___standard__NativeString___to_s_with_length(char* self, long p0);
-short int standard___standard__BufferedReader___Reader__eof(val* self);
-val* NEW_standard__FlatBuffer(const struct type* type);
-extern const struct type type_standard__FlatBuffer;
-#define COLOR_standard___standard__FlatBuffer___standard__kernel__Object__init 80
-void standard___standard__BufferedReader___Reader__append_line_to(val* self, val* p0);
-val* standard___standard__FlatBuffer___Object__to_s(val* self);
-val* standard___standard__Text___chomp(val* self);
-val* standard___standard__BufferedReader___Reader__read_all_bytes(val* self);
-void standard___standard__FileWriter___standard__stream__Writer__write(val* self, val* p0);
-#define COLOR_standard__stream__BufferedReader___buffer_length 5
-#define COLOR_standard__stream__BufferedReader___buffer_pos 4
-val* NEW_standard__Bytes(const struct type* type);
-extern const struct type type_standard__Bytes;
-void standard___standard__Bytes___empty(val* self);
-void standard___standard__Bytes___with_capacity(val* self, long p0);
-long standard___standard__BufferedReader___read_intern(val* self, long p0, val* p1);
-extern const struct type type_standard__Int;
-extern const char FILE_standard__kernel[];
-#define COLOR_standard__stream__BufferedReader___buffer 3
-void standard___standard__Bytes___append_ns_from(val* self, char* p0, long p1, long p2);
-void standard___standard__Bytes___standard__abstract_collection__SimpleCollection__add(val* self, long p0);
-void standard___standard__FileReader___standard__stream__BufferedReader__fill_buffer(val* self);
-extern const char FILE_standard__stream[];
-#define COLOR_standard__string__Text__length 26
-#define COLOR_standard__string__Buffer__enlarge 73
-#define COLOR_standard__string__Buffer__add 69
-#define COLOR_standard__file__FileReader___end_reached 7
-#define COLOR_standard__stream__BufferedReader___buffer_capacity 6