enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some documentation, and make it possible to "make doc" on a clean source tree (post-configure)

1 files changed, 0 insertions, 2 deletions

diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h
index 6398fa735..ef5f5e729 100644
--- a/src/parser/smt2/smt2.h
+++ b/src/parser/smt2/smt2.h
@@ -54,7 +54,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);
@@ -65,7 +64,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);