From: xiw <xiw@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 7 Jan 2010 10:31:54 +0000 (+0000)
Subject: avoid UINT32_MAX redefinition warning
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=3d14f5ce188a12ff34a78eb67c0e867fe85b47bc;p=francis%2Fstp.git

avoid UINT32_MAX redefinition warning


git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@549 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/src/sat/cryptominisat2/mtl/Heap.h b/src/sat/cryptominisat2/mtl/Heap.h
index 64114ae..e5b2035 100644
--- a/src/sat/cryptominisat2/mtl/Heap.h
+++ b/src/sat/cryptominisat2/mtl/Heap.h
@@ -23,7 +23,9 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 #include "Vec.h"
 #include "string.h"
 #include <stdint.h>
+#ifndef UINT32_MAX
 #define UINT32_MAX ((uint32_t)-1)
+#endif
 
 namespace MINISAT
 {