From 58c81ec097d66abdd1ec77853cdcc95f842f12f2 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 23 May 2016 11:15:37 -0700 Subject: Improving 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 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 -- cgit v1.2.3