From 38ae810fe374ff7fb548b1a15f7c2ee7dcd94000 Mon Sep 17 00:00:00 2001
From: Chris Dyer <cdyer@cab.ark.cs.cmu.edu>
Date: Mon, 24 Sep 2012 22:18:32 -0400
Subject: add timing stats for Kenneth

---
 decoder/cdec.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/decoder/cdec.cc b/decoder/cdec.cc
index c671af57..4819105c 100644
--- a/decoder/cdec.cc
+++ b/decoder/cdec.cc
@@ -4,6 +4,7 @@
 #include "decoder.h"
 #include "ff_register.h"
 #include "verbose.h"
+#include "timing_stats.h"
 
 using namespace std;
 
@@ -27,6 +28,7 @@ int main(int argc, char** argv) {
     if (buf.empty()) continue;
     decoder.Decode(buf);
   }
+  Timer::Summarize();
 #ifdef CP_TIME
     cerr << "Time required for Cube Pruning execution: "
     << CpTime::Get()
-- 
cgit v1.2.3