- xbt_swag_free(surf_timer_resource->common_public->states.done_action_set);
- free(surf_timer_resource->common_public);
- free(surf_timer_resource->common_private);
- free(surf_timer_resource->extension_public);
-
- free(surf_timer_resource);
- surf_timer_resource = NULL;
+ xbt_swag_free(surf_timer_model->common_public->states.
+ done_action_set);
+ free(surf_timer_model->common_public);
+ free(surf_timer_model->common_private);
+ free(surf_timer_model->extension_public);
+
+ free(surf_timer_model);
+ surf_timer_model = NULL;