diff options
Diffstat (limited to 'src/printer/smt2/smt2_printer.cpp')
-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 d37f4ae99..7c501ffec 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -505,7 +505,7 @@ void Smt2Printer::toStream(std::ostream& out, TNode n, case kind::SUBSET: case kind::MEMBER: case kind::SET_TYPE: - case kind::TRANSCLOSURE: + case kind::TCLOSURE: case kind::TRANSPOSE: case kind::JOIN: case kind::PRODUCT: @@ -786,7 +786,7 @@ static string smtKindString(Kind k) throw() { case kind::SET_TYPE: return "Set"; case kind::SINGLETON: return "singleton"; case kind::INSERT: return "insert"; - case kind::TRANSCLOSURE: return "transclosure"; + case kind::TCLOSURE: return "tclosure"; case kind::TRANSPOSE: return "transpose"; case kind::PRODUCT: return "product"; case kind::JOIN: return "join"; |