diff options
| -rw-r--r-- | src/base/wlc/wlcReadSmt.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcReadSmt.c b/src/base/wlc/wlcReadSmt.c index 0a062453..48acd73d 100644 --- a/src/base/wlc/wlcReadSmt.c +++ b/src/base/wlc/wlcReadSmt.c @@ -290,7 +290,7 @@ static inline int Smt_PrsBuildConstant( Wlc_Ntk_t * pNtk, char * pStr, int nBits Vec_Int_t * vFanins = Vec_IntAlloc( 10 ); if ( pStr[0] != '#' ) // decimal { - if ( pStr[0] >= 0 && pStr[0] <= 9 ) + if ( pStr[0] >= '0' && pStr[0] <= '9' ) { int Number = atoi( pStr ); nBits = Abc_Base2Log( Number+1 ); |