From 971d2e519f55e6e97667833f0415af14ef6073ba Mon Sep 17 00:00:00 2001
From: Jing Dong <jdong@gatech.edu>
Date: Sat, 17 Oct 2015 18:21:48 -0400
Subject: [PATCH] gtsam type header only when using old boost timer

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

diff --git a/gtsam/base/timing.h b/gtsam/base/timing.h
index d1e90f63a..b89e15637 100644
--- a/gtsam/base/timing.h
+++ b/gtsam/base/timing.h
@@ -18,7 +18,6 @@
 #pragma once
 
 #include <gtsam/base/FastMap.h>
-#include <gtsam/base/types.h>
 #include <gtsam/dllexport.h>
 #include <gtsam/config.h> // for GTSAM_USE_TBB
 
@@ -118,6 +117,7 @@
 #  include <boost/timer/timer.hpp>
 #else
 #  include <boost/timer.hpp>
+#  include <gtsam/base/types.h>
 #endif
 
 #ifdef GTSAM_USE_TBB