- //TODO: should remove, but it is causing sigabort
- //xbt_dict_remove (last_platform_variables, timekey);
- //xbt_dict_remove (last_platform_variables, valuekey);
- //xbt_dict_remove (last_platform_variables, variablekey);
+ xbt_dict_remove (last_platform_variables, timekey);
+ xbt_dict_remove (last_platform_variables, valuekey);
+ xbt_dict_remove (last_platform_variables, variablekey);