/** 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 {
public:
Channel() {}
- Channel(int sock) : socket_(sock) {}
+ explicit Channel(int sock) : socket_(sock) {}
~Channel();
// No copy: