diff options
| -rw-r--r-- | src/base/io/ioReadBlifMv.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/io/ioReadBlifMv.c b/src/base/io/ioReadBlifMv.c index c73f8d92..00b2a5e6 100644 --- a/src/base/io/ioReadBlifMv.c +++ b/src/base/io/ioReadBlifMv.c @@ -1065,7 +1065,7 @@ static int Io_MvParseLineLatch( Io_MvMod_t * p, char * pLine ) Init = atoi( (char *)Vec_PtrEntryLast(vTokens) ); else Init = 2; - if ( Init < 0 || Init > 2 ) + if ( Init < 0 || Init > 3 ) { sprintf( p->pMan->sError, "Line %d: Initial state of the latch is incorrect \"%s\".", Io_MvGetLine(p->pMan, pToken), (char*)Vec_PtrEntry(vTokens,3) ); return 0; |