diff options
Diffstat (limited to 'src/bdd/cudd/cuddUtil.c')
| -rw-r--r-- | src/bdd/cudd/cuddUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/cudd/cuddUtil.c b/src/bdd/cudd/cuddUtil.c index 80577366..ec21e928 100644 --- a/src/bdd/cudd/cuddUtil.c +++ b/src/bdd/cudd/cuddUtil.c @@ -3361,7 +3361,7 @@ cuddUniqueLookup( assert(level < (unsigned) cuddI(unique,Cudd_Regular(E)->index)); #endif - posn = ddHash(T, E, subtable->shift); + posn = ddHash(cuddF2L(T), cuddF2L(E), subtable->shift); nodelist = subtable->nodelist; looking = nodelist[posn]; |