#ifndef SIMGRID_CONFIG_HPP
#define SIMGRID_CONFIG_HPP
-#include "xbt/config.h"
#include "xbt/config.hpp"
/** Config Globals */
-XBT_PUBLIC_DATA xbt_cfg_t simgrid_config;
XBT_PUBLIC_DATA int _sg_cfg_init_status;
-XBT_PUBLIC_DATA int _sg_cfg_exit_asap;
+XBT_PUBLIC_DATA bool _sg_cfg_exit_asap;
XBT_PUBLIC void sg_config_init(int* argc, char** argv);
XBT_PUBLIC void sg_config_finalize();