Fix a Windows-only crash on exit without 'quit'

[stockfish] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index 9d53c2dab129220f37bf01f273db05048f0fb97b..05bfc7de4d56906bb436d3bfe634c4e8dce4284b 100644 (file)
--- a/src/misc.h
+++ b/src/misc.h
@@ -34,7 +34,7 @@ const std::string compiler_info();
 void prefetch(void* addr);
 void start_logger(const std::string& fname);
 void* aligned_ttmem_alloc(size_t size, void*& mem);
-void aligned_ttmem_free(void* mem);
+void aligned_ttmem_free(void* mem); // nop if mem == nullptr
 
 void dbg_hit_on(bool b);
 void dbg_hit_on(bool c, bool b);