diff options
Diffstat (limited to 'src/bdd/cudd/cuddLevelQ.c')
| -rw-r--r-- | src/bdd/cudd/cuddLevelQ.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/cudd/cuddLevelQ.c b/src/bdd/cudd/cuddLevelQ.c index 5a88b772..822ea21c 100644 --- a/src/bdd/cudd/cuddLevelQ.c +++ b/src/bdd/cudd/cuddLevelQ.c @@ -304,7 +304,7 @@ cuddLevelQueueEnqueue( queue->freelist = item->next; } /* Initialize. */ - memset(item, 0, queue->itemsize); + memset(item, 0, (size_t)queue->itemsize); item->key = key; /* Update stats. */ queue->size++; |