1 files changed, 1 insertions, 13 deletions
diff --git a/src/parser/smt/smt.cpp b/src/parser/smt/smt.cpp
index 7ff738dd7..da6638ea8 100644
--- a/src/parser/smt/smt.cpp
+++ b/src/parser/smt/smt.cpp
@@ -73,12 +73,6 @@ void Smt::addArithmeticOperators() {
   addOperator(kind::GEQ);
 }
 
-/**
- * Add theory symbols to the parser state.
- *
- * @param parser the CVC4 Parser object
- * @param theory the theory to open (e.g., Core, Ints)
- */
 void Smt::addTheory(Theory theory) {
   switch(theory) {
   case THEORY_ARRAYS:
@@ -128,12 +122,6 @@ inline void Smt::addUf() {
   addOperator(kind::APPLY_UF);
 }
 
-/**
- * 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 Smt::setLogic(const std::string& name) {
   d_logicSet = true;
   d_logic = toLogic(name);
@@ -148,7 +136,7 @@ void Smt::setLogic(const std::string& name) {
   case QF_NIA:
     addTheory(THEORY_INTS);
     break;
-    
+
   case QF_LRA:
   case QF_RDL:
     addTheory(THEORY_REALS);