gtsam type header only when using old boost timer

2015-10-17 18:21:48 -04:00 · 2015-10-17 18:21:48 -04:00 · 971d2e519f
parent 951377c80f
commit 971d2e519f
1 changed files with 1 additions and 1 deletions
--- 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