Merge branch 'dev' into dev-slice

1 files changed, 1 insertions, 1 deletions

diff --git a/src/os.c b/src/os.c
index f25c113..0fd1076 100644
--- a/src/os.c
+++ b/src/os.c
@@ -333,7 +333,7 @@ static void* mi_win_virtual_allocx(void* addr, size_t size, size_t try_alignment
   if (addr == NULL) {
     void* hint = mi_os_get_aligned_hint(try_alignment,size);
     if (hint != NULL) {
-      void* p = NULL; // VirtualAlloc(hint, size, flags, PAGE_READWRITE);
+      void* p = VirtualAlloc(hint, size, flags, PAGE_READWRITE);
       if (p != NULL) return p;
       // for robustness always fall through in case of an error
       /*