Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix #includes
[simgrid.git] / src / mc / Session.hpp
index f53d948..9b7d857 100644 (file)
@@ -38,7 +38,7 @@ class Session {
 private:
   std::unique_ptr<ModelChecker> modelChecker_;
 
-private: //
+private:
   Session(pid_t pid, int socket);
 
   // No copy: