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

Remove undef max/min on macOS.

Browse source 
This is no longer needed.
This commit is contained in:
Bruce Mitchener 2018-12-03 12:32:45 +07:00
parent 8fc75f59b0
commit 742efd5104
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