diff options
Diffstat (limited to 'src/bdd/cudd/cuddGroup.c')
-rw-r--r-- | src/bdd/cudd/cuddGroup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/cudd/cuddGroup.c b/src/bdd/cudd/cuddGroup.c index e0b9ccf5..d916ed5a 100644 --- a/src/bdd/cudd/cuddGroup.c +++ b/src/bdd/cudd/cuddGroup.c @@ -755,7 +755,7 @@ ddGroupSifting( } } - qsort((void *)var,classes,sizeof(int), + qsort((void *)var,(size_t)classes,sizeof(int), (DD_QSFP) ddUniqueCompareGroup); if (lazyFlag) { |