From 2b0d20cf19ad2061c5e49cffd869c8d348a542f3 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Sun, 7 Mar 2021 22:45:32 +0100 Subject: [PATCH] Typo. --- src/mc/remote/RemoteSimulation.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/remote/RemoteSimulation.hpp b/src/mc/remote/RemoteSimulation.hpp index 13a72c744c..fc50761c09 100644 --- a/src/mc/remote/RemoteSimulation.hpp +++ b/src/mc/remote/RemoteSimulation.hpp @@ -25,7 +25,7 @@ public: RemotePtr address{nullptr}; Remote copy; - /** Hostname (owned by `mc_modelchecker->hostnames`) */ + /** Hostname (owned by `mc_model_checker->hostnames_`) */ const xbt::string* hostname = nullptr; std::string name; -- 2.20.1