Fix case sensitive fs include Windows.h

Fixes compilation on case-sensitive filesystems (eg MinGW from Linux)
Z3Prover · Oct 13, 2019 · 224cc8f · 224cc8f
1 parent c93a265
commit 224cc8f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/memory_manager.cpp b/src/util/memory_manager.cpp
@@ -163,7 +163,7 @@ unsigned long long memory::get_max_used_memory() {
 }
 
 #if defined(_WINDOWS)
-#include <Windows.h>
+#include <windows.h>
 #endif
 
 unsigned long long memory::get_max_memory_size() {