#include <sys/time.h>
#endif
-#include "src/simix/ActorImpl.hpp"
+#include "src/kernel/actor/ActorImpl.hpp"
#if SIMGRID_HAVE_MC
#include "src/mc/checker/Checker.hpp"
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