cleaning the actor twice seems somewhat overplayed

[simgrid.git] / src / mc / mc_unw.hpp

diff --git a/src/mc/mc_unw.hpp b/src/mc/mc_unw.hpp
index 466b3df..aedcf7e 100644 (file)
--- a/src/mc/mc_unw.hpp
+++ b/src/mc/mc_unw.hpp
@@ -50,6 +50,7 @@ class UnwindContext {
 public:
   UnwindContext() = default;
   UnwindContext(const UnwindContext&) = default;
+  UnwindContext& operator=(const UnwindContext&) = default;
   ~UnwindContext() { clear(); }
   void initialize(simgrid::mc::RemoteClient* process, unw_context_t* c);
   void clear();
@@ -74,7 +75,7 @@ public:
   static unw_addr_space_t createUnwindAddressSpace();
 };
 
-void dumpStack(FILE* file, unw_cursor_t cursor);
+void dumpStack(FILE* file, unw_cursor_t&& cursor);
 void dumpStack(FILE* file, pid_t pid);
 }
 }