Test for 64-bit pointers.

git-svn-id: http://parabix.costar.sfu.ca/svn/icGREP/icgrep-devel@4645 a82c6ad6-7e1c-4be0-8e68-26c050b43eaf

cudd-2.5.1/cudd/cuddInt.h

@@ -72,6 +72,7 @@
 #include <math.h>
 #include "cudd.h"
 #include "st.h"
+#include <stdint.h>
 
 #ifdef __cplusplus
 extern "C" {
@@ -242,13 +243,8 @@ typedef struct DdHook {		/* hook list element */
     struct DdHook *next;	/* next element in the list */
 } DdHook;
 
-#if SIZEOF_VOID_P == 8 && SIZEOF_INT == 4
-typedef long ptrint;
-typedef unsigned long ptruint;
-#else
-typedef int ptrint;
-typedef unsigned int ptruint;
-#endif
+typedef ssize_t ptrint;
+typedef size_t ptruint;
 
 typedef DdNode *DdNodePtr;