namespace simgrid {
namespace mc {
-void dumpStack(FILE* file, unw_cursor_t cursor)
+void dumpStack(FILE* file, unw_cursor_t&& cursor)
{
int nframe = 0;
char buffer[100];
context.initialize(&mc_model_checker->process(), &raw_context);
unw_cursor_t cursor = context.cursor();
- simgrid::mc::dumpStack(file, cursor);
+ simgrid::mc::dumpStack(file, std::move(cursor));
}
}
#endif