diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-23 11:15:37 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-23 11:15:37 -0700 |
| commit | 58c81ec097d66abdd1ec77853cdcc95f842f12f2 (patch) | |
| tree | fcc59884d464db189dd9472ee4fc91dec64a2136 /src | |
| parent | c688d1b158170b83d15dd9005b0534c42957f507 (diff) | |
| download | abc-58c81ec097d66abdd1ec77853cdcc95f842f12f2.tar.gz abc-58c81ec097d66abdd1ec77853cdcc95f842f12f2.tar.bz2 abc-58c81ec097d66abdd1ec77853cdcc95f842f12f2.zip | |
Improving 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 9ebecb73..ed6092a5 100644 --- a/src/base/wlc/wlcReadSmt.c +++ b/src/base/wlc/wlcReadSmt.c @@ -157,7 +157,7 @@ static inline int Smt_StrToType( char * pName, int * pfSigned ) Type = WLC_OBJ_BIT_NAND; // 16: bitwise NAND else if ( !strcmp(pName, "bvnor") ) Type = WLC_OBJ_BIT_NOR; // 17: bitwise NOR - else if ( !strcmp(pName, "bvnxor") ) + else if ( !strcmp(pName, "bvxnor") ) Type = WLC_OBJ_BIT_NXOR; // 18: bitwise NXOR else if ( !strcmp(pName, "extract") ) Type = WLC_OBJ_BIT_SELECT; // 19: bit selection |