1 files changed, 0 insertions, 8 deletions
diff --git a/src/printer/ast/ast_printer.h b/src/printer/ast/ast_printer.h
index fd4775da4..fd5742c60 100644
--- a/src/printer/ast/ast_printer.h
+++ b/src/printer/ast/ast_printer.h
@@ -112,10 +112,6 @@ class AstPrinter : public cvc5::Printer
   /** Print get-assertions command */
   void toStreamCmdGetAssertions(std::ostream& out) const override;
 
-  /** Print set-info :status command */
-  void toStreamCmdSetBenchmarkStatus(std::ostream& out,
-                                     Result::Sat status) const override;
-
   /** Print set-logic command */
   void toStreamCmdSetBenchmarkLogic(std::ostream& out,
                                     const std::string& logic) const override;
@@ -151,10 +147,6 @@ class AstPrinter : public cvc5::Printer
   /** Print quit command */
   void toStreamCmdQuit(std::ostream& out) const override;
 
-  /** Print comment command */
-  void toStreamCmdComment(std::ostream& out,
-                          const std::string& comment) const override;
-
   /** Print command sequence command */
   void toStreamCmdCommandSequence(
       std::ostream& out, const std::vector<Command*>& sequence) const override;