Added index and favicon.

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

diff --git a/c_src/collection.sep.0.h b/c_src/collection.sep.0.h
index 45d8194..87c0ec3 100644 (file)
--- a/c_src/collection.sep.0.h
+++ b/c_src/collection.sep.0.h
@@ -2,11 +2,10 @@
 val* NEW_array__Array(const struct type* type);
 extern const int COLOR_array__Arrayabstract_collection__Sequence_FT0;
 extern const int COLOR_array__Array__with_capacity;
-void CHECK_NEW_array__Array(val*);
 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;
-void CHECK_NEW_range__Range(val*);
 extern const int COLOR_abstract_collection__Collection__iterator;
 extern const int COLOR_abstract_collection__Iterator__is_ok;
 extern const int COLOR_abstract_collection__Iterator__item;