X-Git-Url: http://nitlanguage.org?ds=sidebyside

diff --git a/c_src/poset.sep.0.h b/c_src/poset.sep.0.h
index e32803c..88c7b20 100644
--- a/c_src/poset.sep.0.h
+++ b/c_src/poset.sep.0.h
@@ -16,7 +16,6 @@ val* NEW_poset__POSetElement(const struct type* type);
 extern const int COLOR_poset__POSetElementposet__POSet_FT0;
 extern const int COLOR_abstract_collection__MapRead__length;
 extern const int COLOR_poset__POSetElement__init;
-void CHECK_NEW_poset__POSetElement(val*);
 extern const int COLOR_poset__POSetElement__tos;
 extern const int COLOR_abstract_collection__SimpleCollection__add;
 extern const int COLOR_poset__POSetElement__froms;
@@ -42,9 +41,7 @@ extern const struct type type_array__Arraystring__String;
 val* NEW_array__NativeArray(int length, const struct type* type);
 extern const struct type type_array__NativeArraystring__String;
 extern const int COLOR_array__Array__with_native;
-void CHECK_NEW_array__Array(val*);
 extern const int COLOR_exec__OProcess__init;
-void CHECK_NEW_exec__OProcess(val*);
 extern const int COLOR_stream__OStream__write;
 extern const struct type type_array__Arraykernel__Object;
 extern const struct type type_array__NativeArraykernel__Object;
@@ -88,4 +85,11 @@ short int poset__POSetElement___60d_61d(val* self, val* p0);
 extern const int COLOR_poset__POSetElement__element;
 extern const int COLOR_kernel__Object___33d_61d;
 short int poset__POSetElement___60d(val* self, val* p0);
+extern const int COLOR_poset__POSetElement__direct_greaters;
+extern const int COLOR_abstract_collection__Collection__is_empty;
+extern const int COLOR_poset__POSetElement__poset;
+extern const int COLOR_poset__POSet___91d_93d;
+extern const int COLOR_poset__POSetElement__depth;
+extern const struct type type_kernel__Int;
+long poset__POSetElement__depth(val* self);
 void poset__POSetElement__init(val* self, val* p0, val* p1, long p2);