--- cudd/cudd.h.orig	2012-02-04 19:07:33.000000000 -0600
+++ cudd/cudd.h	2014-10-01 20:48:15.000000000 -0500
@@ -75,14 +75,22 @@
 #define CUDD_VERSION "2.5.0"
 
 #ifndef SIZEOF_VOID_P
+#if __LP64__
+#define SIZEOF_VOID_P 8
+#else
 #define SIZEOF_VOID_P 4
 #endif
+#endif
 #ifndef SIZEOF_INT
 #define SIZEOF_INT 4
 #endif
 #ifndef SIZEOF_LONG
+#if __LP64__
+#define SIZEOF_LONG 8
+#else
 #define SIZEOF_LONG 4
 #endif
+#endif
 
 #define CUDD_TRUE 1
 #define CUDD_FALSE 0