c_src: update

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

diff --git a/c_src/frontend.sep.0.h b/c_src/frontend.sep.0.h
deleted file mode 100644 (file)
index 88ab9ab..0000000
--- a/c_src/frontend.sep.0.h
+++ /dev/null
@@ -1,12 +0,0 @@
-#include "nit.common.h"
-extern const int COLOR_frontend__ToolContext___64ddummy;
-short int frontend__ToolContext__dummy(val* self);
-void frontend__ToolContext__dummy_61d(val* self, short int p0);
-extern const int COLOR_phase__ToolContext__phases;
-extern const int COLOR_simple_misc_analysis__ToolContext__simple_misc_analysis_phase;
-extern const int COLOR_modelize_property__ToolContext__modelize_property_phase;
-extern const int COLOR_poset__POSet__add_edge;
-extern const int COLOR_scope__ToolContext__scope_phase;
-extern const int COLOR_literal__ToolContext__literal_phase;
-extern const int COLOR_serialization_phase__ToolContext__serialization_phase;
-short int frontend__ToolContext__do_dummy(val* self);