diff options
Diffstat (limited to 'src/sat/bmc/bmcCexTools.c')
-rw-r--r-- | src/sat/bmc/bmcCexTools.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcCexTools.c b/src/sat/bmc/bmcCexTools.c index 7a1c86a6..6cc29857 100644 --- a/src/sat/bmc/bmcCexTools.c +++ b/src/sat/bmc/bmcCexTools.c @@ -922,7 +922,7 @@ void Gia_ManCountCareBits( Gia_Man_t * p, Vec_Wec_t * vPats ) unsigned char * Mnist_ReadImages1_() { int Size = 60000 * 28 * 28 + 16; - unsigned char * pData = malloc( Size ); + unsigned char * pData = (unsigned char *)malloc( Size ); FILE * pFile = fopen( "train-images.idx3-ubyte", "rb" ); int RetValue = fread( pData, 1, Size, pFile ); assert( RetValue == Size ); |