diff options
Diffstat (limited to 'src/printer/smt2/smt2_printer.h')
-rw-r--r-- | src/printer/smt2/smt2_printer.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/printer/smt2/smt2_printer.h b/src/printer/smt2/smt2_printer.h index 3fc144d46..bc8674275 100644 --- a/src/printer/smt2/smt2_printer.h +++ b/src/printer/smt2/smt2_printer.h @@ -92,13 +92,6 @@ class Smt2Printer : public CVC4::Printer TypeNode range, Node formula) const override; - /** Print define-named-fun command */ - void toStreamCmdDefineNamedFunction(std::ostream& out, - const std::string& id, - const std::vector<Node>& formals, - TypeNode range, - Node formula) const override; - /** Print define-fun-rec command */ void toStreamCmdDefineFunctionRec( std::ostream& out, |