diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-29 23:13:39 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-29 23:13:39 -0700 |
commit | bab71101ec16852f1fbefdf5183a8e6300233323 (patch) | |
tree | 7dab4a6373e9a896bd5cb17921d2875079a3d7e7 /src/base/io/ioReadPla.c | |
parent | 7f7b7671b044b35583bd40eff2afba7e3b872ea3 (diff) | |
download | abc-bab71101ec16852f1fbefdf5183a8e6300233323.tar.gz abc-bab71101ec16852f1fbefdf5183a8e6300233323.tar.bz2 abc-bab71101ec16852f1fbefdf5183a8e6300233323.zip |
Improvements to Cba data-structure.
Diffstat (limited to 'src/base/io/ioReadPla.c')
-rw-r--r-- | src/base/io/ioReadPla.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/io/ioReadPla.c b/src/base/io/ioReadPla.c index c6a9098a..ceadbebc 100644 --- a/src/base/io/ioReadPla.c +++ b/src/base/io/ioReadPla.c @@ -498,17 +498,17 @@ Abc_Ntk_t * Io_ReadPlaNetwork( Extra_FileReader_t * p, int fZeros, int fBoth ) } pCubeIn = (char *)vTokens->pArray[0]; pCubeOut = (char *)vTokens->pArray[1]; - if ( strlen(pCubeIn) != (unsigned)nInputs ) + if ( (int)strlen(pCubeIn) != nInputs ) { printf( "%s (line %d): Input cube length (%d) differs from the number of inputs (%d).\n", - Extra_FileReaderGetFileName(p), iLine, strlen(pCubeIn), nInputs ); + Extra_FileReaderGetFileName(p), iLine, (int)strlen(pCubeIn), nInputs ); Abc_NtkDelete( pNtk ); return NULL; } - if ( strlen(pCubeOut) != (unsigned)nOutputs ) + if ( (int)strlen(pCubeOut) != nOutputs ) { printf( "%s (line %d): Output cube length (%d) differs from the number of outputs (%d).\n", - Extra_FileReaderGetFileName(p), iLine, strlen(pCubeOut), nOutputs ); + Extra_FileReaderGetFileName(p), iLine, (int)strlen(pCubeOut), nOutputs ); Abc_NtkDelete( pNtk ); Extra_ProgressBarStop( pProgress ); ABC_FREE( ppSops ); |