1 files changed, 10 insertions, 2 deletions
diff --git a/src/expr/expr_manager.cpp b/src/expr/expr_manager.cpp
index 232a903e9..f0a35e5f1 100644
--- a/src/expr/expr_manager.cpp
+++ b/src/expr/expr_manager.cpp
@@ -25,17 +25,21 @@
 #include "expr/type.h"
 #include "expr/node_manager.h"
 #include "expr/expr_manager.h"
+#include "context/context.h"
 
 using namespace std;
+using namespace CVC4::context;
 
 namespace CVC4 {
 
 ExprManager::ExprManager() :
-  d_nodeManager(new NodeManager()) {
+  d_ctxt(new Context),
+  d_nodeManager(new NodeManager(d_ctxt)) {
 }
 
 ExprManager::~ExprManager() {
   delete d_nodeManager;
+  delete d_ctxt;
 }
 
 const BooleanType* ExprManager::booleanType() const {
@@ -136,4 +140,8 @@ NodeManager* ExprManager::getNodeManager() const {
   return d_nodeManager;
 }
 
-} // End namespace CVC4
+Context* ExprManager::getContext() const {
+  return d_ctxt;
+}
+
+}/* CVC4 namespace */