Adding new line at the end of AIGER files.

This commit is contained in:
Alan Mishchenko 2026-03-08 10:25:15 -07:00
parent 7553ef9760
commit c92cfab80b
1 changed files with 1 additions and 1 deletions

View File

@ -1297,7 +1297,7 @@ Vec_Str_t * Gia_AigerWriteIntoMemoryStr( Gia_Man_t * p )
Gia_AigerWriteUnsigned( vBuffer, uLit - uLit1 );
Gia_AigerWriteUnsigned( vBuffer, uLit1 - uLit0 );
}
Vec_StrPrintStr( vBuffer, "c" );
Vec_StrPrintStr( vBuffer, "c\n" );
return vBuffer;
}