diff options
Diffstat (limited to 'src/opt/lpk/lpkAbcUtil.c')
| -rw-r--r-- | src/opt/lpk/lpkAbcUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/lpk/lpkAbcUtil.c b/src/opt/lpk/lpkAbcUtil.c index b086d35f..b96614d2 100644 --- a/src/opt/lpk/lpkAbcUtil.c +++ b/src/opt/lpk/lpkAbcUtil.c @@ -217,7 +217,7 @@ int Lpk_SuppDelay( unsigned uSupp, char * pDelays ) int Delay, Var; Delay = 0; Lpk_SuppForEachVar( uSupp, Var ) - Delay = ABC_MAX( Delay, pDelays[Var] ); + Delay = Abc_MaxInt( Delay, pDelays[Var] ); return Delay + 1; } |