diff options
Diffstat (limited to 'src/misc/util')
| -rw-r--r-- | src/misc/util/utilBridge.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/util/utilBridge.c b/src/misc/util/utilBridge.c index cad98935..57372c6a 100644 --- a/src/misc/util/utilBridge.c +++ b/src/misc/util/utilBridge.c @@ -129,7 +129,7 @@ void Gia_CreateHeader( FILE * pFile, int Type, int Size, unsigned char * pBuffer fprintf( pFile, "%.16d", Size ); fprintf( pFile, " " ); RetValue = fwrite( pBuffer, Size, 1, pFile ); - assert( RetValue == 1 ); + assert( RetValue == 1 || Size == 0); fflush( pFile ); } |