From 82e3d2323029efee6a02ee5d3ab498726d4a3808 Mon Sep 17 00:00:00 2001
From: Richard Roberts <richard.jw.roberts@gmail.com>
Date: Tue, 5 Jun 2012 21:50:49 +0000
Subject: [PATCH] Always using old boost timers to avoid boost system
 dependency

---
 gtsam/base/timing.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gtsam/base/timing.h b/gtsam/base/timing.h
index 09d0a0da0..4dc3411ce 100644
--- a/gtsam/base/timing.h
+++ b/gtsam/base/timing.h
@@ -24,9 +24,11 @@
 #include <boost/weak_ptr.hpp>
 #include <gtsam/base/types.h>
 
+#if 0
 #if BOOST_VERSION >= 104800
 #define GTSAM_USING_NEW_BOOST_TIMERS
 #endif
+#endif
 
 #ifdef GTSAM_USING_NEW_BOOST_TIMERS
 #include <boost/timer/timer.hpp>
@@ -216,4 +218,4 @@ inline void ticPop(const std::string&, const std::string&) {}
 inline void tictoc_print() {}
 #endif
 
-#endif
\ No newline at end of file
+#endif