summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigConstr.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2021-09-26 11:30:54 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2021-09-26 11:30:54 -0700
commitba64e78608064612db61d6515f19dd2cabe69cee (patch)
treed4df3672f9d056a010244711f73c848e020168e8 /src/aig/saig/saigConstr.c
parent2ce1ce8bed69623de58d9394e22a3a8812096561 (diff)
downloadabc-ba64e78608064612db61d6515f19dd2cabe69cee.tar.gz
abc-ba64e78608064612db61d6515f19dd2cabe69cee.tar.bz2
abc-ba64e78608064612db61d6515f19dd2cabe69cee.zip
Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.
Diffstat (limited to 'src/aig/saig/saigConstr.c')
-rw-r--r--src/aig/saig/saigConstr.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/saig/saigConstr.c b/src/aig/saig/saigConstr.c
index ac58839b..90e82816 100644
--- a/src/aig/saig/saigConstr.c
+++ b/src/aig/saig/saigConstr.c
@@ -300,8 +300,8 @@ Aig_Man_t * Saig_ManDupUnfoldConstrs( Aig_Man_t * pAig )
Vec_VecFree( (Vec_Vec_t *)vConsAll );
return Aig_ManDupDfs( pAig );
}
- Vec_PtrSort( vOuts, (int (*)(void))Saig_ManDupCompare );
- Vec_PtrSort( vCons, (int (*)(void))Saig_ManDupCompare );
+ Vec_PtrSort( vOuts, (int (*)(const void *, const void *))Saig_ManDupCompare );
+ Vec_PtrSort( vCons, (int (*)(const void *, const void *))Saig_ManDupCompare );
Vec_PtrPush( vOutsAll, vOuts );
Vec_PtrPush( vConsAll, vCons );
}