From 5bda390d825332dc12b7cad272c04c716eabb681 Mon Sep 17 00:00:00 2001
From: Thomas Ferreira de Lima <tlima@princeton.edu>
Date: Tue, 31 Jul 2018 17:37:52 -0400
Subject: [PATCH] bugfix: forgot to include tlTimer.h in tlThreads.cc

---
 src/tl/tl/tlThreads.cc | 1 +
 src/tl/tl/tlTimer.cc   | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tl/tl/tlThreads.cc b/src/tl/tl/tlThreads.cc
index 239dcaa5f..d87927671 100644
--- a/src/tl/tl/tlThreads.cc
+++ b/src/tl/tl/tlThreads.cc
@@ -24,6 +24,7 @@
 
 #include "tlThreads.h"
 #include "tlUtils.h"
+#include "tlTimer.h"
 #include "tlLog.h"
 #include "tlInternational.h"
 
diff --git a/src/tl/tl/tlTimer.cc b/src/tl/tl/tlTimer.cc
index 197fbd19a..59c317f9e 100644
--- a/src/tl/tl/tlTimer.cc
+++ b/src/tl/tl/tlTimer.cc
@@ -22,7 +22,6 @@
 
 
 #include "tlTimer.h"
-#include "tlUtils.h"
 #include "tlLog.h"
 #include "tlString.h"