From: Ehsan Azimi <eazimi@ehsan.irisa.fr>
Date: Fri, 11 Dec 2020 11:08:32 +0000 (+0100)
Subject: get_session() deleted
X-Git-Tag: v3.26~13^2~10
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/dba6fd1fd37f0d3757e26933711efc3845230d6e

get_session() deleted
---

diff --git a/src/mc/checker/Checker.hpp b/src/mc/checker/Checker.hpp
index 070a779ea5..107e97f889 100644
--- a/src/mc/checker/Checker.hpp
+++ b/src/mc/checker/Checker.hpp
@@ -57,8 +57,6 @@ public:
   /** Log additional information about the state of the model-checker */
   virtual void log_state() = 0;
 
-protected:
-  Session& get_session() { return *session_; }
 };
 
 // External constructors so that the types (and the types of their content) remain hidden