mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 12:23:38 +00:00
Code Activity

temporary build fix

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2015-03-01 15:19:57 -08:00
parent 8029e31ddd
commit 8bcd6edd08
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.h
View file

@ -34,7 +34,7 @@ Revision History:
# define GCC_RET_NON_NULL # define GCC_RET_NON_NULL
# endif # endif
# define ALLOC_ATTR __attribute__((malloc)) GCC_RET_NON_NULL # define ALLOC_ATTR __attribute__((malloc)) GCC_RET_NON_NULL
#elif defined(_WINDOWS) #elif defined(_WINDOWS) && (VisualStudioVersion >= 13)
# define ALLOC_ATTR __declspec(restrict) # define ALLOC_ATTR __declspec(restrict)
#else #else
# define ALLOC_ATTR # define ALLOC_ATTR