diff options
Diffstat (limited to 'src/printer/printer.cpp')
| -rw-r--r-- | src/printer/printer.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp index 927fd1d13..048f5d06b 100644 --- a/src/printer/printer.cpp +++ b/src/printer/printer.cpp @@ -333,11 +333,6 @@ void Printer::toStreamCmdGetInstantiations(std::ostream& out) const printUnknownCommand(out, "get-instantiations"); } -void Printer::toStreamCmdGetSynthSolution(std::ostream& out) const -{ - printUnknownCommand(out, "get-synth-solution"); -} - void Printer::toStreamCmdGetInterpol(std::ostream& out, const std::string& name, Node conj, |