Commit 76875cd1 by Alan Mishchenko

Compiler warning.

parent 589e2ede
...@@ -122,16 +122,18 @@ Vec_Str_t * Gia_ManToBridgeVec( Gia_Man_t * p ) ...@@ -122,16 +122,18 @@ Vec_Str_t * Gia_ManToBridgeVec( Gia_Man_t * p )
***********************************************************************/ ***********************************************************************/
void Gia_CreateHeader( FILE * pFile, int Type, int Size, unsigned char * pBuffer ) void Gia_CreateHeader( FILE * pFile, int Type, int Size, unsigned char * pBuffer )
{ {
int RetValue;
fprintf( pFile, "%.6d", Type ); fprintf( pFile, "%.6d", Type );
fprintf( pFile, " " ); fprintf( pFile, " " );
fprintf( pFile, "%.16d", Size ); fprintf( pFile, "%.16d", Size );
fprintf( pFile, " " ); fprintf( pFile, " " );
#if !defined(LIN) && !defined(LIN64) #if !defined(LIN) && !defined(LIN64)
{
int RetValue;
RetValue = fwrite( pBuffer, Size, 1, pFile ); RetValue = fwrite( pBuffer, Size, 1, pFile );
assert( RetValue == 1 || Size == 0); assert( RetValue == 1 || Size == 0);
fflush( pFile ); fflush( pFile );
#else }
#else
fflush(pFile); fflush(pFile);
int fd = fileno(pFile); int fd = fileno(pFile);
...@@ -144,7 +146,7 @@ void Gia_CreateHeader( FILE * pFile, int Type, int Size, unsigned char * pBuffer ...@@ -144,7 +146,7 @@ void Gia_CreateHeader( FILE * pFile, int Type, int Size, unsigned char * pBuffer
} }
bytes_written += n; bytes_written += n;
} }
#endif #endif
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment