diff options
Diffstat (limited to 'src/aig/gia/giaForce.c')
-rw-r--r-- | src/aig/gia/giaForce.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaForce.c b/src/aig/gia/giaForce.c index 6927266b..e7abb555 100644 --- a/src/aig/gia/giaForce.c +++ b/src/aig/gia/giaForce.c @@ -1069,6 +1069,7 @@ void For_ManFileExperiment() int * pBuffer; int i, Size, Exp = 25; int clk = clock(); + int RetValue; Size = (1 << Exp); printf( "2^%d machine words (%d bytes).\n", Exp, sizeof(int) * Size ); @@ -1080,7 +1081,7 @@ ABC_PRT( "Fillup", clock() - clk ); clk = clock(); pFile = fopen( "test.txt", "rb" ); - fread( pBuffer, 1, sizeof(int) * Size, pFile ); + RetValue = fread( pBuffer, 1, sizeof(int) * Size, pFile ); fclose( pFile ); ABC_PRT( "Read ", clock() - clk ); |