1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/expr_manager.cpp b/src/expr/expr_manager.cpp
index 993bf3483..232a903e9 100644
--- a/src/expr/expr_manager.cpp
+++ b/src/expr/expr_manager.cpp
@@ -40,12 +40,12 @@ ExprManager::~ExprManager() {
 
 const BooleanType* ExprManager::booleanType() const {
   NodeManagerScope nms(d_nodeManager);
-  d_nodeManager->booleanType();
+  return d_nodeManager->booleanType();
 }
 
 const KindType* ExprManager::kindType() const {
   NodeManagerScope nms(d_nodeManager);
-  d_nodeManager->kindType();
+  return d_nodeManager->kindType();
 }
 
 Expr ExprManager::mkExpr(Kind kind) {