From 90c2c08f83b0e6a78a9d8c4a56eaff8ca4885923 Mon Sep 17 00:00:00 2001
From: Christophe Geuzaine <cgeuzaine@ulg.ac.be>
Date: Sat, 1 Sep 2012 19:18:54 +0000
Subject: [PATCH] fix warning
---
Common/GmshSocket.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Common/GmshSocket.h b/Common/GmshSocket.h
index ee7671f8f6..7117caa2d5 100644
--- a/Common/GmshSocket.h
+++ b/Common/GmshSocket.h
@@ -363,7 +363,7 @@ class GmshServer : public GmshSocket{
#if !defined(WIN32) || defined(__CYGWIN__)
if(tmpsock < 0)
#else
- if(tmpsock == INVALID_SOCKET)
+ if(tmpsock == (int)INVALID_SOCKET)
#endif
throw "Couldn't create socket";
// bind the socket to its name
--
GitLab