From 83c60437419d6394dac31e1276dd0cb891408faf Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 6 Oct 2014 10:13:10 -0700
Subject: [PATCH] undef max/min on apple to avoid warning

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/mpff.cpp | 2 +-
 src/util/trace.h  | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/util/mpff.cpp b/src/util/mpff.cpp
index 7678a051e..ab016ae40 100644
--- a/src/util/mpff.cpp
+++ b/src/util/mpff.cpp
@@ -22,7 +22,7 @@ Revision History:
 #include<iomanip>
 #include"mpff.h"
 #include"mpn.h"
-#include"mpz.h"
+#include"mpz.h"g
 #include"mpq.h"
 #include"bit_util.h"
 #include"trace.h"
diff --git a/src/util/trace.h b/src/util/trace.h
index 0c8c2e5b6..e92eb9d44 100644
--- a/src/util/trace.h
+++ b/src/util/trace.h
@@ -24,6 +24,10 @@ Revision History:
 #undef max
 #undef min
 #endif
+#ifdef __APPLE__
+#undef max
+#undef min
+#endif
 #include<fstream>
 
 #ifdef _TRACE