diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 39fed2fd4..c37c3ea9e 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -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; }