X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9cc0d42f835e6aa5ea5195a346098e74b0376927..9d7dca1d2de1e6d67027e4ba33fefe1eb09550e3:/src/mc/Channel.hpp diff --git a/src/mc/Channel.hpp b/src/mc/Channel.hpp index 5ede34f106..64219c4eac 100644 --- a/src/mc/Channel.hpp +++ b/src/mc/Channel.hpp @@ -18,7 +18,7 @@ namespace mc { /** A channel for exchanging messages between model-checker and model-checked * - * This hides the way the messages are transfered. Currently, they are sent + * This hides the way the messages are transferred. Currently, they are sent * over a SOCK_DGRAM socket. */ class Channel { @@ -31,7 +31,7 @@ class Channel { public: Channel() {} - Channel(int sock) : socket_(sock) {} + explicit Channel(int sock) : socket_(sock) {} ~Channel(); // No copy: