From fad4fe39f28797f11a61461f3f0224f173046b2e Mon Sep 17 00:00:00 2001
From: Fan Jiang <i@fanjiang.me>
Date: Sat, 20 Jun 2020 22:48:40 -0400
Subject: [PATCH] Add missing include

---
 gtsam/base/make_shared.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gtsam/base/make_shared.h b/gtsam/base/make_shared.h
index c8b63f5d4..c5ac98f9c 100644
--- a/gtsam/base/make_shared.h
+++ b/gtsam/base/make_shared.h
@@ -20,7 +20,7 @@
 #include <boost/make_shared.hpp>
 #include <gtsam/base/types.h>
 
-#include <type_traits>
+#include <boost/type_traits.hpp>
 
 #include <Eigen/Core>