-s_mc_snapshot_stack::~s_mc_snapshot_stack()
-{
- xbt_dynar_free(&(this->stack_frames));
- mc_unw_destroy_context(this->context);
- xbt_free(this->context);
-}
-
-static void MC_snapshot_stack_free(mc_snapshot_stack_t s)
-{
- if (s)
- delete(s);
-}
-