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/printer | |
parent | 29e5b12f95e56f94d4fa1b9b48ef429ff1c96725 (diff) |
rename kind::IN to kind::MEMBER (fixes some windows build conflicts)
Diffstat (limited to 'src/printer')
-rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index a2a925d13..6eb91431f 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -398,7 +398,7 @@ void Smt2Printer::toStream(std::ostream& out, TNode n, case kind::INTERSECTION: case kind::SETMINUS: case kind::SUBSET: - case kind::IN: + case kind::MEMBER: case kind::SET_TYPE: case kind::SET_SINGLETON: out << smtKindString(k) << " "; break; @@ -592,7 +592,7 @@ static string smtKindString(Kind k) throw() { case kind::INTERSECTION: return "intersection"; case kind::SETMINUS: return "setminus"; case kind::SUBSET: return "subseteq"; - case kind::IN: return "in"; + case kind::MEMBER: return "in"; case kind::SET_TYPE: return "Set"; case kind::SET_SINGLETON: return "setenum"; default: |