[mc] Make Process and Snapshot classes final

diff --git a/src/mc/Process.hpp b/src/mc/Process.hpp
index 71e63e2..819e8ec 100644 (file)
--- a/src/mc/Process.hpp
+++ b/src/mc/Process.hpp
@@ -53,7 +53,7 @@ struct IgnoredRegion {
 
 /** Representation of a process
  */
-class Process : public AddressSpace {
+class Process final : public AddressSpace {
 public:
   Process(pid_t pid, int sockfd);
   ~Process();

diff --git a/src/mc/mc_snapshot.h b/src/mc/mc_snapshot.h
index 72965f4..d9ee92c 100644 (file)
--- a/src/mc/mc_snapshot.h
+++ b/src/mc/mc_snapshot.h
@@ -140,7 +140,7 @@ typedef struct s_mc_global_t {
 namespace simgrid {
 namespace mc {
 
-class XBT_PRIVATE Snapshot : public AddressSpace {
+class XBT_PRIVATE Snapshot final : public AddressSpace {
 public:
   Snapshot();
   ~Snapshot();