/********************************* Simcalls *********************************/
XBT_PUBLIC(const char*) simcall_names[]; /* Name of each simcall */
-#include "smx_popping_generated.h" /* All generated code about simcalls */
+#include "smx_popping_enum.h" /* Definition of e_smx_simcall_t, with one value per simcall */
typedef int (*simix_match_func_t)(void *, void *, smx_action_t);
typedef void (*simix_copy_data_func_t)(smx_action_t, void*, size_t);
#define SIMCALL_GET_MC_VALUE(simcall) 0
#endif
-#include "simcalls_generated_res_getter_setter.h"
-#include "simcalls_generated_args_getter_setter.h"
+#include "smx_popping_accessors.h"
/******************************** General *************************************/