1 files changed, 2 insertions, 6 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index 31f8517cd..f3a0d5c83 100644
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -39,15 +39,13 @@ namespace parser {
 
 Parser::Parser(api::Solver* solver,
                SymbolManager* sm,
-               Input* input,
                bool strictMode,
                bool parseOnly)
-    : d_input(input),
-      d_symman(sm),
+    : d_symman(sm),
       d_symtab(sm->getSymbolTable()),
       d_assertionLevel(0),
       d_anonymousFunctionCount(0),
-      d_done(false),
+      d_done(true),
       d_checksEnabled(true),
       d_strictMode(strictMode),
       d_parseOnly(parseOnly),
@@ -56,7 +54,6 @@ Parser::Parser(api::Solver* solver,
       d_forcedLogic(),
       d_solver(solver)
 {
-  d_input->setParser(*this);
 }
 
 Parser::~Parser() {
@@ -66,7 +63,6 @@ Parser::~Parser() {
     delete command;
   }
   d_commandQueue.clear();
-  delete d_input;
 }
 
 api::Solver* Parser::getSolver() const { return d_solver; }