1 files changed, 0 insertions, 25 deletions
diff --git a/src/timing_stats.h b/src/timing_stats.h
deleted file mode 100644
index 0a9f7656..00000000
--- a/src/timing_stats.h
+++ /dev/null
@@ -1,25 +0,0 @@
-#ifndef _TIMING_STATS_H_
-#define _TIMING_STATS_H_
-
-#include <string>
-#include <map>
-
-struct TimerInfo {
-  int calls;
-  double total_time;
-  TimerInfo() : calls(), total_time() {}
-};
-
-struct Timer {
-  Timer(const std::string& info);
-  ~Timer();
-  static void Summarize();
- private:
-  static std::map<std::string, TimerInfo> stats;
-  clock_t start_t;
-  TimerInfo& cur;
-  Timer(const Timer& other);
-  const Timer& operator=(const Timer& other);
-};
-
-#endif