diff options
Diffstat (limited to 'src/map/mapper/mapperTree_old.c')
-rw-r--r-- | src/map/mapper/mapperTree_old.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/map/mapper/mapperTree_old.c b/src/map/mapper/mapperTree_old.c index 041ba2a0..d0acff12 100644 --- a/src/map/mapper/mapperTree_old.c +++ b/src/map/mapper/mapperTree_old.c @@ -22,6 +22,9 @@ #include "mapperInt.h" +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -558,7 +561,7 @@ void Map_LibraryAddFaninDelays( Map_SuperLib_t * pLib, Map_Super_t * pGate, Map_ { Mio_PinPhase_t PinPhase; float tDelayBlockRise, tDelayBlockFall, tDelayPin; - bool fMaxDelay = 0; + int fMaxDelay = 0; int i; // use this node to enable max-delay model @@ -821,3 +824,5 @@ void Map_LibraryPrintTree( Map_SuperLib_t * pLib ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |