From 64a0318d28121a301b434047c1890fd6414f0a7c Mon Sep 17 00:00:00 2001
From: Robert Kloefkorn <robertk@posteo.org>
Date: Tue, 4 Aug 2015 22:04:54 +0200
Subject: [PATCH] remove unused header atomic.

---
 dune/alugrid/impl/serial/gitter_mgb.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/dune/alugrid/impl/serial/gitter_mgb.cc b/dune/alugrid/impl/serial/gitter_mgb.cc
index 1296e3cf6..1c2c35ad8 100644
--- a/dune/alugrid/impl/serial/gitter_mgb.cc
+++ b/dune/alugrid/impl/serial/gitter_mgb.cc
@@ -3,7 +3,6 @@
 // (c) Robert Kloefkorn 2004 - 2005
 #include <config.h>
 
-#include <atomic>
 #include <sstream>
 
 #include <dune/alugrid/impl/macrofileheader.hh>
-- 
GitLab