mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 19:35:50 +00:00
Code Activity

don't use thread-local storage if running a single thread

Browse source
This commit is contained in:
Nuno Lopes 2019-06-12 09:55:48 +01:00
parent 3f5cea4a9e
commit 04a2cce830
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/memory_manager.cpp
View file

@ -218,7 +218,7 @@ void * memory::allocate(char const* file, int line, char const* obj, size_t s) {
}
#endif
#if defined(_WINDOWS) || defined(_USE_THREAD_LOCAL)
#if !defined(SINGLE_THREAD) && (defined(_WINDOWS) || defined(_USE_THREAD_LOCAL))
// ==================================
// ==================================
// THREAD LOCAL VERSION