From ef20b0c5336e28a3e09db9f0accfc072db1559cc Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 4 Apr 2008 08:01:00 -0700 Subject: Version abc80404 --- src/aig/ntl/ntlReadBlif.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig/ntl/ntlReadBlif.c') diff --git a/src/aig/ntl/ntlReadBlif.c b/src/aig/ntl/ntlReadBlif.c index 81ea2a2c..2cf3caaa 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 = -TIME_ETERNITY; + Delay = -TIM_ETERNITY; else if ( !strcmp( pTokenNum, "inf" ) ) - Delay = TIME_ETERNITY; + Delay = TIM_ETERNITY; else Delay = atof( pTokenNum ); if ( Delay == 0.0 && pTokenNum[0] != '0' ) -- cgit v1.2.3