diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-03 20:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-03 20:01:00 -0700 |
| commit | 69b5bcad56f9352eea80d3e9b5e1322782522059 (patch) | |
| tree | 9381d7ce208e93fc82efc5606bcd59ec1dbed765 /src/aig/ntl/ntlReadBlif.c | |
| parent | 087951655efdc20b5b4beb64b15edf86a27850a8 (diff) | |
| download | abc-69b5bcad56f9352eea80d3e9b5e1322782522059.tar.gz abc-69b5bcad56f9352eea80d3e9b5e1322782522059.tar.bz2 abc-69b5bcad56f9352eea80d3e9b5e1322782522059.zip | |
Version abc80403_2
Diffstat (limited to 'src/aig/ntl/ntlReadBlif.c')
| -rw-r--r-- | src/aig/ntl/ntlReadBlif.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/ntl/ntlReadBlif.c b/src/aig/ntl/ntlReadBlif.c index e5a94610..81ea2a2c 100644 --- a/src/aig/ntl/ntlReadBlif.c +++ b/src/aig/ntl/ntlReadBlif.c @@ -974,9 +974,9 @@ static int Ioa_ReadParseLineTimes( Ioa_ReadMod_t * p, char * pLine, int fOutput // find the delay number pTokenNum = Vec_PtrEntryLast(vTokens); if ( !strcmp( pTokenNum, "-inf" ) ) - Delay = -AIG_INFINITY; + Delay = -TIME_ETERNITY; else if ( !strcmp( pTokenNum, "inf" ) ) - Delay = AIG_INFINITY; + Delay = TIME_ETERNITY; else Delay = atof( pTokenNum ); if ( Delay == 0.0 && pTokenNum[0] != '0' ) |