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 64114ae0662516b521e4097a1f46e3039e29a4ec..e5b20357de1c5e66f75341a35100fa5bc178e08e 100644 (file)
--- 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
 {