diff options
Diffstat (limited to 'src/printer/printer.h')
| -rw-r--r-- | src/printer/printer.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/printer/printer.h b/src/printer/printer.h index 86f3dbb2b..6c00ebad5 100644 --- a/src/printer/printer.h +++ b/src/printer/printer.h @@ -181,9 +181,6 @@ class Printer /** Print get-instantiations command */ void toStreamCmdGetInstantiations(std::ostream& out) const; - /** Print get-synth-solution command */ - void toStreamCmdGetSynthSolution(std::ostream& out) const; - /** Print get-interpol command */ void toStreamCmdGetInterpol(std::ostream& out, const std::string& name, |