Supporting 'distinct' keyword in SMT-LIB parser.

ffcb4afb · Alan Mishchenko · 4b7dd692 · ffcb4afb
Commit ffcb4afb authored Jun 20, 2015 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/base/wlc/wlcReadSmt.c
+2 -2

No files found.
--- a/src/base/wlc/wlcReadSmt.c
+++ b/src/base/wlc/wlcReadSmt.c
@@ -168,8 +168,8 @@ static inline int Smt_StrToType( char * pName, int * pfSigned )
        Type = WLC_OBJ_LOGIC_XOR;     // 26: logic OR
    else if ( !strcmp(pName, "bvcomp") )
        Type = WLC_OBJ_COMP_EQU;      // 27: compare equal
-//    else if ( !strcmp(pName, "") )
-//        Type = WLC_OBJ_COMP_NOTEQU;   // 28: compare not equal
+    else if ( !strcmp(pName, "distinct") )
+        Type = WLC_OBJ_COMP_NOTEQU;   // 28: compare not equal
    else if ( !strcmp(pName, "bvult") )
        Type = WLC_OBJ_COMP_LESS;     // 29: compare less
    else if ( !strcmp(pName, "bvugt") )