diff options
Diffstat (limited to 'src/bdd/cudd/cuddZddReord.c')
| -rw-r--r-- | src/bdd/cudd/cuddZddReord.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/cudd/cuddZddReord.c b/src/bdd/cudd/cuddZddReord.c index 3a6ea8ed..c195f5b5 100644 --- a/src/bdd/cudd/cuddZddReord.c +++ b/src/bdd/cudd/cuddZddReord.c @@ -899,7 +899,7 @@ cuddZddSifting( var[i] = i; } - qsort((void *)var, size, sizeof(int), (DD_QSFP)cuddZddUniqueCompare); + qsort((void *)var, (size_t)size, sizeof(int), (DD_QSFP)cuddZddUniqueCompare); /* Now sift. */ for (i = 0; i < ddMin(table->siftMaxVar, size); i++) { |