Function init_thread() should return an integer under Windows

It happens that NULL is 0, but the conventional meaning is of
a zero pointer, so repleace with an explicit 0 integer value.

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>

diff --git a/src/search.cpp b/src/search.cpp
index c369bac3a98d0f64c2336f3cab725e380bc384ed..c692baf5a72e3db774b2e728f25e1c91e93b3b31 100644 (file)
--- a/src/search.cpp
+++ b/src/search.cpp
@@ -2593,7 +2593,7 @@ namespace {
   DWORD WINAPI init_thread(LPVOID threadID) {
 
     TM.idle_loop(*(int*)threadID, NULL);
   DWORD WINAPI init_thread(LPVOID threadID) {
 
     TM.idle_loop(*(int*)threadID, NULL);

-    return NULL;
+    return 0;

   }
 
 #endif
   }
 
 #endif