summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/misc/util/utilBridge.c10
1 files changed, 6 insertions, 4 deletions
diff --git a/src/misc/util/utilBridge.c b/src/misc/util/utilBridge.c
index 6ad8260f..e30ffd7a 100644
--- a/src/misc/util/utilBridge.c
+++ b/src/misc/util/utilBridge.c
@@ -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 )
{
- int RetValue;
fprintf( pFile, "%.6d", Type );
fprintf( pFile, " " );
fprintf( pFile, "%.16d", Size );
fprintf( pFile, " " );
- #if !defined(LIN) && !defined(LIN64)
+#if !defined(LIN) && !defined(LIN64)
+ {
+ int RetValue;
RetValue = fwrite( pBuffer, Size, 1, pFile );
assert( RetValue == 1 || Size == 0);
fflush( pFile );
- #else
+ }
+#else
fflush(pFile);
int fd = fileno(pFile);
@@ -144,7 +146,7 @@ void Gia_CreateHeader( FILE * pFile, int Type, int Size, unsigned char * pBuffer
}
bytes_written += n;
}
- #endif
+#endif
}