From cc0954e022068ca6d7ea54d1bd7bb786053d3a02 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 30 Jun 2015 09:49:55 -0700
Subject: Bug fix in SMT-LIB parser.

---
 src/base/wlc/wlcReadSmt.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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 );
-- 
cgit v1.2.3