1 files changed, 3 insertions, 2 deletions
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index af2faa505..710381f9b 100644
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -42,12 +42,13 @@ namespace CVC4 {
 namespace parser {
 
 Parser::Parser(api::Solver* solver,
+               SymbolManager* sm,
                Input* input,
                bool strictMode,
                bool parseOnly)
     : d_input(input),
-      d_symtabAllocated(),
-      d_symtab(&d_symtabAllocated),
+      d_symman(sm),
+      d_symtab(sm->getSymbolTable()),
       d_assertionLevel(0),
       d_globalDeclarations(false),
       d_anonymousFunctionCount(0),