diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-19 21:50:09 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-19 21:50:09 -0700 |
| commit | 6ad94cd988dba45747068625598b4dca96b5b34a (patch) | |
| tree | 8f99f1a30899785c3eeb9beaa053390ac661ea08 /src/bdd/cudd/cuddInt.h | |
| parent | 232fe09ee41afaacf6382d01ef9c6a046874b6da (diff) | |
| download | abc-6ad94cd988dba45747068625598b4dca96b5b34a.tar.gz abc-6ad94cd988dba45747068625598b4dca96b5b34a.tar.bz2 abc-6ad94cd988dba45747068625598b4dca96b5b34a.zip | |
Making changes suggested by Mark Jarvin.
Diffstat (limited to 'src/bdd/cudd/cuddInt.h')
| -rw-r--r-- | src/bdd/cudd/cuddInt.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/bdd/cudd/cuddInt.h b/src/bdd/cudd/cuddInt.h index 07ae3e6c..f0aab056 100644 --- a/src/bdd/cudd/cuddInt.h +++ b/src/bdd/cudd/cuddInt.h @@ -247,6 +247,7 @@ 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; @@ -254,6 +255,10 @@ typedef unsigned long ptruint; typedef int ptrint; typedef unsigned int ptruint; #endif +*/ + +typedef ABC_PTRINT_T ptrint; +typedef ABC_PTRUINT_T ptruint; #ifdef __osf__ #pragma pointer_size save |