diff options
Diffstat (limited to 'src/map')
-rw-r--r-- | src/map/if/ifTime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifTime.c b/src/map/if/ifTime.c index d42a874d..f0fd3046 100644 --- a/src/map/if/ifTime.c +++ b/src/map/if/ifTime.c @@ -28,7 +28,7 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -static float s_ExtraDel[2][3] = { {1.0, 1.0, (float)0.1}, {1.0, 1.0, (float)0.1} }; +//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 ); |