1 files changed, 0 insertions, 7 deletions
diff --git a/src/parser/smt2/smt2_input.cpp b/src/parser/smt2/smt2_input.cpp
index 6d7a04800..5150ba010 100644
--- a/src/parser/smt2/smt2_input.cpp
+++ b/src/parser/smt2/smt2_input.cpp
@@ -65,12 +65,5 @@ Expr Smt2Input::parseExpr() throw (ParserException) {
   return d_pSmt2Parser->parseExpr(d_pSmt2Parser);
 }
 
-void Smt2Input::setParser(Parser& parser) {
-  super::setParser(parser);
-  if( !parser.strictModeEnabled() ) {
-    Smt2::addTheory(parser,Smt2::THEORY_CORE);
-  }
-}
-
 }/* CVC4::parser namespace */
 }/* CVC4 namespace */