1 files changed, 0 insertions, 2 deletions
diff --git a/src/parser/smt/smt.h b/src/parser/smt/smt.h
index ffc113574..388b4cd6d 100644
--- a/src/parser/smt/smt.h
+++ b/src/parser/smt/smt.h
@@ -84,7 +84,6 @@ public:
   /**
    * Add theory symbols to the parser state.
    *
-   * @param parser the CVC4 Parser object
    * @param theory the theory to open (e.g., Core, Ints)
    */
   void addTheory(Theory theory);
@@ -94,7 +93,6 @@ public:
   /**
    * Sets the logic for the current benchmark. Declares any logic and theory symbols.
    *
-   * @param parser the CVC4 Parser object
    * @param name the name of the logic (e.g., QF_UF, AUFLIA)
    */
   void setLogic(const std::string& name);