c_src: update for new ffi syntax

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

diff --git a/c_src/exec.sep.0.h b/c_src/exec.sep.0.h
index 1bba13c..f98ab80 100644 (file)
--- a/c_src/exec.sep.0.h
+++ b/c_src/exec.sep.0.h
@@ -16,7 +16,6 @@ void exec__Process__from_a(val* self, val* p0, val* p1);
 val* NEW_string__Buffer(const struct type* type);
 extern const struct type type_string__Buffer;
 extern const int COLOR_string__Buffer__init;
-void CHECK_NEW_string__Buffer(val*);
 extern const int COLOR_abstract_collection__Sequence__append;
 extern const int COLOR_abstract_collection__Collection__iterator;
 extern const int COLOR_abstract_collection__Iterator__is_ok;
@@ -48,7 +47,6 @@ val* NEW_stream__FDIStream(const struct type* type);
 extern const struct type type_stream__FDIStream;
 long exec__NativeProcess__out_fd(void* self);
 extern const int COLOR_stream__FDIStream__init;
-void CHECK_NEW_stream__FDIStream(val*);
 extern const int COLOR_exec__IProcess__stream_in_61d;
 void exec__IProcess__init(val* self, val* p0, val* p1);
 void exec__IProcess__init_(val* self, val* p0);
@@ -66,7 +64,6 @@ val* NEW_stream__FDOStream(const struct type* type);
 extern const struct type type_stream__FDOStream;
 long exec__NativeProcess__in_fd(void* self);
 extern const int COLOR_stream__FDOStream__init;
-void CHECK_NEW_stream__FDOStream(val*);
 extern const int COLOR_exec__OProcess__stream_out_61d;
 void exec__OProcess__init(val* self, val* p0, val* p1);
 void exec__OProcess__init_(val* self, val* p0);