mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Fix case sensitive fs include Windows.h

Browse source 
Fixes compilation on case-sensitive filesystems (eg MinGW from Linux)
This commit is contained in:
Julien Schueller 2019-10-13 10:18:16 +02:00 committed by Nikolaj Bjorner
parent c93a265b0b
commit 224cc8f8dd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/memory_manager.cpp
View file

@ -163,7 +163,7 @@ unsigned long long memory::get_max_used_memory() {
} }
#if defined(_WINDOWS) #if defined(_WINDOWS)
#include <Windows.h> #include <windows.h>
#endif #endif
unsigned long long memory::get_max_memory_size() { unsigned long long memory::get_max_memory_size() {