From 83487370ab452151cdf7da51d2f07645dcc8dc71 Mon Sep 17 00:00:00 2001
From: Frank Dellaert <frank@skyd.io>
Date: Sat, 20 Jun 2015 22:53:04 -0700
Subject: [PATCH] Headers and timing

---
 gtsam/symbolic/SymbolicFactor-inst.h | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/gtsam/symbolic/SymbolicFactor-inst.h b/gtsam/symbolic/SymbolicFactor-inst.h
index c917b322e..f1e2b48c2 100644
--- a/gtsam/symbolic/SymbolicFactor-inst.h
+++ b/gtsam/symbolic/SymbolicFactor-inst.h
@@ -17,15 +17,17 @@
 
 #pragma once
 
-#include <utility>
+#include <gtsam/symbolic/SymbolicFactor.h>
+#include <gtsam/symbolic/SymbolicConditional.h>
+#include <gtsam/inference/Factor.h>
+#include <gtsam/inference/Key.h>
+#include <gtsam/base/timing.h>
+
 #include <boost/shared_ptr.hpp>
 #include <boost/foreach.hpp>
 #include <boost/make_shared.hpp>
 
-#include <gtsam/inference/Factor.h>
-#include <gtsam/inference/Key.h>
-#include <gtsam/symbolic/SymbolicFactor.h>
-#include <gtsam/symbolic/SymbolicConditional.h>
+#include <utility>
 
 namespace gtsam
 {
@@ -37,6 +39,8 @@ namespace gtsam
     std::pair<boost::shared_ptr<SymbolicConditional>, boost::shared_ptr<SymbolicFactor> >
       EliminateSymbolic(const FactorGraph<FACTOR>& factors, const Ordering& keys)
     {
+      gttic(EliminateSymbolic);
+
       // Gather all keys
       KeySet allKeys;
       BOOST_FOREACH(const boost::shared_ptr<FACTOR>& factor, factors) {