mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

Merge pull request #2005 from waywardmonkeys/remove-macos-ifdef

Browse source 
Remove undef max/min on macOS.
This commit is contained in:
Nikolaj Bjorner 2018-12-03 07:18:41 -08:00 committed by GitHub
parent 8638c2c8a4 742efd5104
commit 9849644f15
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/util/trace.h
View file

@ -24,10 +24,6 @@ Revision History:
#undef max
#undef min
#endif
#ifdef __APPLE__
#undef max
#undef min
#endif
#include<fstream>
#ifdef _TRACE