From ddc7703ca9a78d9a3cff396af9635206bf57ee84 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Tue, 5 Apr 2016 14:12:38 +0200 Subject: [PATCH 1/1] [mc] Don't copy or move states (yet) --- src/mc/mc_state.h | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/mc/mc_state.h b/src/mc/mc_state.h index 90706daa4b..a744151a60 100644 --- 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; }; -- 2.20.1