diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-30 09:49:55 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-30 09:49:55 -0700 |
commit | cc0954e022068ca6d7ea54d1bd7bb786053d3a02 (patch) | |
tree | f4ecce6dea2e0915c3dce126aad32b5b5f7649e8 /src | |
parent | 8c1e81a7c8c7bfa8db93ec410b90c67a6d5df487 (diff) | |
download | abc-cc0954e022068ca6d7ea54d1bd7bb786053d3a02.tar.gz abc-cc0954e022068ca6d7ea54d1bd7bb786053d3a02.tar.bz2 abc-cc0954e022068ca6d7ea54d1bd7bb786053d3a02.zip |
Bug fix in SMT-LIB parser.
Diffstat (limited to 'src')
-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 ); |