diff options
Diffstat (limited to 'src/proof/fra')
| -rw-r--r-- | src/proof/fra/fraImp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/fra/fraImp.c b/src/proof/fra/fraImp.c index 027d8eb2..4581e0a1 100644 --- a/src/proof/fra/fraImp.c +++ b/src/proof/fra/fraImp.c @@ -395,7 +395,7 @@ finish: } Vec_PtrFree( vNodes ); // reorder implications topologically - qsort( (void *)Vec_IntArray(vImps), Vec_IntSize(vImps), sizeof(int), + qsort( (void *)Vec_IntArray(vImps), (size_t)Vec_IntSize(vImps), sizeof(int), (int (*)(const void *, const void *)) Sml_CompareMaxId ); if ( p->pPars->fVerbose ) { |