X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0b7d1f86375fc32d181c2ab574eed9dadee72db6..cf0dd5c1282ad1a4b619bef205d409173de44d2d:/src/mc/Channel.hpp

diff --git a/src/mc/Channel.hpp b/src/mc/Channel.hpp
index 61514adc36..64219c4eac 100644
--- a/src/mc/Channel.hpp
+++ b/src/mc/Channel.hpp
@@ -16,6 +16,11 @@
 namespace simgrid {
 namespace mc {
 
+/** A channel for exchanging messages between model-checker and model-checked
+ *
+ *  This hides the way the messages are transferred. Currently, they are sent
+ *  over a SOCK_DGRAM socket.
+ */
 class Channel {
   int socket_ = -1;
   template<class M>
@@ -26,7 +31,7 @@ class Channel {
 public:
 
   Channel() {}
-  Channel(int sock) : socket_(sock) {}
+  explicit Channel(int sock) : socket_(sock) {}
   ~Channel();
 
   // No copy: