blob: 9e544be483518c1a34fa25d72128d3fb8fcfa7c6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
diff --git a/src/vendor/stp/src/extlib-abc/aig/dar/darBalance.c b/src/vendor/stp/src/extlib-abc/aig/dar/darBalance.c
index e58d0ce..8ead04c 100644
--- a/src/vendor/stp/src/extlib-abc/aig/dar/darBalance.c
+++ b/src/vendor/stp/src/extlib-abc/aig/dar/darBalance.c
@@ -245,7 +245,7 @@ Aig_Obj_t * Dar_BalanceBuildSuper( Aig_Man_t * p, Vec_Ptr_t * vSuper, Aig_Type_t
int LeftBound;
assert( vSuper->nSize > 1 );
// sort the new nodes by level in the decreasing order
- Vec_PtrSort( vSuper, Aig_NodeCompareLevelsDecrease );
+ Vec_PtrSort( vSuper, (int (*)()) Aig_NodeCompareLevelsDecrease );
// balance the nodes
while ( vSuper->nSize > 1 )
{
|