XBT_LOG_NEW_DEFAULT_SUBCATEGORY (instr_paje_types, instr, "Paje tracing event system (types)");
-// to check if variables were previously set to 0, otherwise paje won't simulate them
-static std::set<std::string, std::less<>> platform_variables;
-
namespace simgrid {
namespace instr {
* non-determined value, hence causing analysis problems.
*/
+ // to check if variables were previously set to 0, otherwise paje won't simulate them
+ static std::set<std::string, std::less<>> platform_variables;
+
// create a key considering the resource and variable
std::string key = std::string(resource) + get_name();