diff options
Diffstat (limited to 'src/printer/smt2/smt2_printer.cpp')
-rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index 6628576dd..bed6a890b 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -1715,20 +1715,6 @@ void Smt2Printer::toStreamCmdDefineType(std::ostream& out, out << ") " << t << ")" << std::endl; } -void Smt2Printer::toStreamCmdDefineNamedFunction( - std::ostream& out, - const std::string& id, - const std::vector<Node>& formals, - TypeNode range, - Node formula) const -{ - out << "DefineNamedFunction( "; - toStreamCmdDefineFunction(out, id, formals, range, formula); - out << " )" << std::endl; - - printUnknownCommand(out, "define-named-function"); -} - void Smt2Printer::toStreamCmdSimplify(std::ostream& out, Node n) const { out << "(simplify " << n << ')' << std::endl; |