diff options
Diffstat (limited to 'src/printer/printer.cpp')
| -rw-r--r-- | src/printer/printer.cpp | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp index 21eb88c8c..b24025124 100644 --- a/src/printer/printer.cpp +++ b/src/printer/printer.cpp @@ -184,15 +184,6 @@ void Printer::toStreamCmdDefineFunction(std::ostream& out, printUnknownCommand(out, "define-fun"); } -void Printer::toStreamCmdDefineNamedFunction(std::ostream& out, - const std::string& id, - const std::vector<Node>& formals, - TypeNode range, - Node formula) const -{ - printUnknownCommand(out, "define-named-function"); -} - void Printer::toStreamCmdDefineFunctionRec( std::ostream& out, const std::vector<Node>& funcs, |