From cd64b6a667f06e35a3c047765c2e9d8192175955 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 19 Mar 2023 12:09:07 +0100
Subject: [PATCH] Kill a now unused class in mc

---
 src/mc/mc_forward.hpp               |  1 -
 src/mc/sosp/RemoteProcessMemory.hpp | 18 ------------------
 2 files changed, 19 deletions(-)

diff --git a/src/mc/mc_forward.hpp b/src/mc/mc_forward.hpp
index b9da6dfe04..45fefd79f8 100644
--- a/src/mc/mc_forward.hpp
+++ b/src/mc/mc_forward.hpp
@@ -25,7 +25,6 @@ class Type;
 class Variable;
 class Transition;
 class Frame;
-class ActorInformation;
 
 class Session;
 class Exploration;
diff --git a/src/mc/sosp/RemoteProcessMemory.hpp b/src/mc/sosp/RemoteProcessMemory.hpp
index bb2d04a39c..51e477d8d6 100644
--- a/src/mc/sosp/RemoteProcessMemory.hpp
+++ b/src/mc/sosp/RemoteProcessMemory.hpp
@@ -20,24 +20,6 @@
 
 namespace simgrid::mc {
 
-class ActorInformation {
-public:
-  /** MCed address of the process */
-  RemotePtr<kernel::actor::ActorImpl> address{nullptr};
-  Remote<kernel::actor::ActorImpl> copy;
-
-  /** Hostname (owned by `mc_model_checker->hostnames_`) */
-  const std::string* hostname = nullptr;
-  std::string name;
-
-  void clear()
-  {
-    name.clear();
-    address  = nullptr;
-    hostname = nullptr;
-  }
-};
-
 struct IgnoredRegion {
   std::uint64_t addr;
   std::size_t size;
-- 
2.20.1