#include <vector>
#include "src/mc/mc_forward.hpp"
-#include "src/mc/RemotePtr.hpp"
+#include "src/mc/remote/RemotePtr.hpp"
namespace simgrid {
namespace mc {
Process* process_;
public:
AddressSpace(Process* process) : process_(process) {}
- virtual ~AddressSpace();
+ virtual ~AddressSpace() = default;
/** The process of this addres space
*