From 5c1ba361fc7847bab1b326e15d7b24ee92681efb Mon Sep 17 00:00:00 2001
From: Oliver Sander <oliver.sander@tu-dresden.de>
Date: Thu, 3 Sep 2020 15:18:22 +0200
Subject: [PATCH] Remove header omp.h

Apparently it is not used.
---
 dune/gfe/mixedriemanniantrsolver.cc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/dune/gfe/mixedriemanniantrsolver.cc b/dune/gfe/mixedriemanniantrsolver.cc
index 5d32978c..c09c7bf0 100644
--- a/dune/gfe/mixedriemanniantrsolver.cc
+++ b/dune/gfe/mixedriemanniantrsolver.cc
@@ -1,5 +1,3 @@
-#include "omp.h"
-
 #include <dune/common/bitsetvector.hh>
 #include <dune/common/timer.hh>
 #include <dune/common/parallel/mpihelper.hh>
-- 
GitLab