diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-02-28 08:14:43 -0500 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-02-28 08:14:43 -0500 |
| commit | db6215dddeb90719a24793a50c87635125fd2817 (patch) | |
| tree | 3124930b6cd54f991930d20a2c35b1f805953ea9 /src/parser/smt2 | |
| parent | 29e5b12f95e56f94d4fa1b9b48ef429ff1c96725 (diff) | |
rename kind::IN to kind::MEMBER (fixes some windows build conflicts)
Diffstat (limited to 'src/parser/smt2')
| -rw-r--r-- | src/parser/smt2/Smt2.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 9b598e113..b9a15b3b2 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -1309,7 +1309,7 @@ builtinOp[CVC4::Kind& kind] | SETINT_TOK { $kind = CVC4::kind::INTERSECTION; } | SETMINUS_TOK { $kind = CVC4::kind::SETMINUS; } | SETSUB_TOK { $kind = CVC4::kind::SUBSET; } - | SETIN_TOK { $kind = CVC4::kind::IN; } + | SETIN_TOK { $kind = CVC4::kind::MEMBER; } | SETSINGLETON_TOK { $kind = CVC4::kind::SET_SINGLETON; } // NOTE: Theory operators go here |