Convert Api::get_maxpid() into RemoteApp::get_maxpid()

[simgrid.git] / src / mc / explo / DFSExplorer.hpp

diff --git a/src/mc/explo/DFSExplorer.hpp b/src/mc/explo/DFSExplorer.hpp
index ce5fa54..0eaac54 100644 (file)
--- a/src/mc/explo/DFSExplorer.hpp
+++ b/src/mc/explo/DFSExplorer.hpp
@@ -34,7 +34,7 @@ class XBT_PRIVATE DFSExplorer : public Exploration {
   static xbt::signal<void()> on_log_state_signal;
 
 public:
-  explicit DFSExplorer(RemoteApp* remote_app);
+  explicit DFSExplorer(RemoteApp& remote_app);
   void run() override;
   RecordTrace get_record_trace() override;
   std::vector<std::string> get_textual_trace() override;