diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-25 08:58:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-25 08:58:20 -0700 |
| commit | 9bfe2ad73aaa4d03bb1273950f873e3adb83fb29 (patch) | |
| tree | 301020b1e835854b9c7f52d71c5c0b7329d8fc53 /src/map/if/ifTime.c | |
| parent | e6db0f1142197460a3b5a8d8207eb2fc7371cbfe (diff) | |
| download | abc-9bfe2ad73aaa4d03bb1273950f873e3adb83fb29.tar.gz abc-9bfe2ad73aaa4d03bb1273950f873e3adb83fb29.tar.bz2 abc-9bfe2ad73aaa4d03bb1273950f873e3adb83fb29.zip | |
Fixing option 'if -G <num>' after changes.
Diffstat (limited to 'src/map/if/ifTime.c')
| -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 ca53776d..4211b385 100644 --- a/src/map/if/ifTime.c +++ b/src/map/if/ifTime.c @@ -218,7 +218,7 @@ void If_CutPropagateRequired( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut, fl int Delay = If_CutDsdBalancePinDelays( p, pCut, pPerm ); assert( Delay == (int)pCut->Delay ); } - else + else pPerm = If_CutPerm(pCut); If_CutForEachLeaf( p, pCut, pLeaf, i ) { |