1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/io/ioWriteBlif.c b/src/base/io/ioWriteBlif.c
index 52856437..ca54a766 100644
--- a/src/base/io/ioWriteBlif.c
+++ b/src/base/io/ioWriteBlif.c
@@ -344,6 +344,12 @@ void Io_NtkWritePos( FILE * pFile, Abc_Ntk_t * pNtk, int fWriteLatches )
     {
         Abc_NtkForEachPo( pNtk, pTerm, i )
         {
+            if ( i && i == pNtk->nRealPos )
+            {
+                fprintf( pFile, "\n.outputs" );
+                LineLength  = 8;
+                NameCounter = 0;
+            }
             pNet = Abc_ObjFanin0(pTerm);
             // get the line length after this name is written
             AddedLength = strlen(Abc_ObjName(pNet)) + 1;