From 8e0b21989ae43fe6e4452dd3571ad91297b46581 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 9 Jul 2019 09:32:10 +0200
Subject: [PATCH] Specify visibility (hide warning).

---
 src/mc/Session.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/Session.hpp b/src/mc/Session.hpp
index ecdb31dcbd..ab21a05b71 100644
--- a/src/mc/Session.hpp
+++ b/src/mc/Session.hpp
@@ -21,7 +21,7 @@ namespace mc {
  *  algorithms should be able to be written in high-level languages
  *  (e.g. Python) using bindings on this interface.
  */
-class Session {
+class XBT_PUBLIC Session {
 private:
   std::unique_ptr<ModelChecker> model_checker_;
   std::shared_ptr<simgrid::mc::Snapshot> initial_snapshot_;
-- 
2.20.1