inline a function, kill a file

[simgrid.git] / src / mc / Session.cpp

diff --git a/src/mc/Session.cpp b/src/mc/Session.cpp
index 3e0fb612938236a4152e186b403158dab5f2836e..f5d894488919b8067e45e42d9b53da3c8155d7f0 100644 (file)
--- a/src/mc/Session.cpp
+++ b/src/mc/Session.cpp
@@ -30,8 +30,7 @@
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_Session, mc, "Model-checker session");
 XBT_LOG_EXTERNAL_CATEGORY(mc_global);
 
-namespace simgrid {
-namespace mc {
+namespace simgrid::mc {
 
 template <class Code> void run_child_process(int socket, Code code)
 {
@@ -52,10 +51,6 @@ template <class Code> void run_child_process(int socket, Code code)
   xbt_assert(fdflags != -1 && fcntl(socket, F_SETFD, fdflags & ~FD_CLOEXEC) != -1,
              "Could not remove CLOEXEC for socket");
 
-  // Disable lazy relocation in the model-checked process to prevent the application from
-  // modifying its .got.plt during snapshot.
-  setenv("LC_BIND_NOW", "1", 1);
-
   setenv(MC_ENV_SOCKET_FD, std::to_string(socket).c_str(), 1);
 
   code();
@@ -176,5 +171,4 @@ void Session::check_deadlock() const
     throw DeadlockError();
   }
 }
-}
-}
+} // namespace simgrid::mc