From 3ede6ecc69f73f491885a9f231b14b2da8a6da6f Mon Sep 17 00:00:00 2001
From: Tor Harald Sandve <tor.harald.sandve@iris.no>
Date: Fri, 9 Feb 2018 09:23:40 +0100
Subject: [PATCH] Rename ThreadHandle.hpp -> threadHandle.hh

Also adding some comments.
---
 ebos/eclwriter.hh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/ebos/eclwriter.hh b/ebos/eclwriter.hh
index 4bd1185e5..4e03cdb29 100644
--- a/ebos/eclwriter.hh
+++ b/ebos/eclwriter.hh
@@ -33,7 +33,7 @@
 
 #include <ewoms/disc/ecfv/ecfvdiscretization.hh>
 #include <ewoms/io/baseoutputwriter.hh>
-#include <ebos/ThreadHandle.hpp>
+#include <ebos/threadhandle.hh>
 #include <opm/output/eclipse/EclipseIO.hpp>
 
 #include <opm/material/common/Valgrind.hpp>
@@ -48,7 +48,6 @@
 #include <sstream>
 #include <fstream>
 #include <type_traits>
-#include <thread>
 
 namespace Ewoms {
 namespace Properties {