[mc] Don't copy or move states (yet)

diff --git a/src/mc/mc_state.h b/src/mc/mc_state.h
index 90706da..a744151 100644 (file)
--- a/src/mc/mc_state.h
+++ b/src/mc/mc_state.h
@@ -74,6 +74,11 @@ struct XBT_PRIVATE State {
   State();
   ~State();
 
+  State(State const&) = delete;
+  State operator=(State const&) = delete;
+  State(State const&&) = delete;
+  State operator=(State const&&) = delete;
+
   std::size_t interleaveSize() const;
 };