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

diff --git a/c_src/model.sep.0.h b/c_src/model.sep.0.h
index 4ffd1cb..929f091 100644
--- a/c_src/model.sep.0.h
+++ b/c_src/model.sep.0.h
@@ -171,6 +171,7 @@ extern const struct type type_kernel__Int;
 extern const struct type type_array__Arraymodel__MParameterType;
 val* NEW_range__Range(const struct type* type);
 extern const struct type type_range__Rangekernel__Int;
+val* BOX_kernel__Int(long);
 extern const int COLOR_range__Range__without_last;
 val* NEW_model__MParameterType(const struct type* type);
 extern const struct type type_model__MParameterType;
@@ -487,13 +488,15 @@ val* model__MProperty__to_s(val* self);
 extern const int COLOR_model__MProperty__lookup_definitions_cache;
 extern const int COLOR_more_collections__HashMap2___91d_93d;
 extern const int COLOR_more_collections__HashMap2___91d_93d_61d;
+extern const int COLOR_model__MProperty__select_most_specific;
 val* model__MProperty__lookup_definitions(val* self, val* p0, val* p1);
 extern const int COLOR_model__MProperty___64dlookup_definitions_cache;
 val* model__MProperty__lookup_definitions_cache(val* self);
 extern const int COLOR_more_collections__HashMap2mmodule__MModulemodel__MTypearray__Arraymodel__MProperty_VTMPROPDEF;
 void model__MProperty__lookup_definitions_cache_61d(val* self, val* p0);
-extern const struct type type_array__Arraymodel__MPropDef;
 val* model__MProperty__lookup_super_definitions(val* self, val* p0, val* p1);
+extern const int COLOR_poset__POSetElement___60d;
+val* model__MProperty__select_most_specific(val* self, val* p0, val* p1);
 extern const int COLOR_model__MProperty__lookup_all_definitions;
 val* model__MProperty__lookup_first_definition(val* self, val* p0, val* p1);
 extern const int COLOR_model__MProperty__lookup_all_definitions_cache;