diff options
Diffstat (limited to 'src/map/if/ifTime.c')
-rw-r--r-- | src/map/if/ifTime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifTime.c b/src/map/if/ifTime.c index 0cf2f73c..d60d8a9d 100644 --- a/src/map/if/ifTime.c +++ b/src/map/if/ifTime.c @@ -206,7 +206,7 @@ void If_CutSortInputPins( If_Man_t * p, If_Cut_t * pCut, int * pPinPerm, float * pPinPerm[best_i] = temp; } // verify - assert( pPinPerm[0] < pCut->nLeaves ); + assert( pPinPerm[0] < (int)pCut->nLeaves ); for ( i = 1; i < (int)pCut->nLeaves; i++ ) { assert( pPinPerm[i] < (int)pCut->nLeaves ); |