From 669f390c6d8ca50473e8eb6e8c0f3ae98c5fd00b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 13 Jul 2011 12:48:51 +0700
Subject: Other changes to enable new features in the mapper (bug fix).

---
 src/base/io/ioWriteBlif.c | 6 ++++++
 src/map/if/ifTime.c       | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

(limited to 'src')

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;
diff --git a/src/map/if/ifTime.c b/src/map/if/ifTime.c
index 5dd57efc..48d1ff37 100644
--- a/src/map/if/ifTime.c
+++ b/src/map/if/ifTime.c
@@ -30,7 +30,7 @@ ABC_NAMESPACE_IMPL_START
 
 #define IF_BIG_CHAR 120
 
-static float s_ExtraDel[2][3] = { {1.0, 1.0, 1.0}, {1.0, 1.0, 0.0} };
+static float s_ExtraDel[2][3] = { {1.0, 1.0, (float)0.1}, {1.0, 1.0, (float)0.1} };
 
 static void If_CutSortInputPins( If_Man_t * p, If_Cut_t * pCut, int * pPinPerm, float * pPinDelays );
 
-- 
cgit v1.2.3