diff options
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/pdr/pdrInv.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/pdr/pdrInv.c b/src/proof/pdr/pdrInv.c index bc4e3ffc..ba4f0448 100644 --- a/src/proof/pdr/pdrInv.c +++ b/src/proof/pdr/pdrInv.c @@ -670,7 +670,7 @@ Vec_Str_t * Pdr_InvPrintStr( Vec_Int_t * vInv, Vec_Int_t * vCounts ) Vec_Int_t * vMap = Pdr_InvMap( vCounts ); int nVars = Vec_IntSize(vCounts) - Vec_IntCountZero(vCounts); int i, k, * pCube, * pList = Vec_IntArray(vInv); - char * pBuffer = ABC_ALLOC( char, nVars ); + char * pBuffer = ABC_ALLOC( char, (size_t)(unsigned)nVars ); for ( i = 0; i < nVars; i++ ) pBuffer[i] = '-'; Pdr_ForEachCube( pList, pCube, i ) |