From 2c05a08e049066c6c778983b686edcdf22b38325 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20He=C3=9F?= <rene.hess@iwr.uni-heidelberg.de>
Date: Thu, 15 Dec 2016 11:47:48 +0100
Subject: [PATCH] Incude gridfunctionspace.hh instead of utility stuff

---
 python/dune/perftool/pdelab/localoperator.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/dune/perftool/pdelab/localoperator.py b/python/dune/perftool/pdelab/localoperator.py
index 115aede7..4707d96f 100644
--- a/python/dune/perftool/pdelab/localoperator.py
+++ b/python/dune/perftool/pdelab/localoperator.py
@@ -649,7 +649,7 @@ def generate_localoperator_kernels(formdata, data):
     delete_cache_items()
 
     # Manage includes and base classes that we always need
-    include_file('dune/pdelab/gridfunctionspace/gridfunctionspaceutilities.hh', filetag="operatorfile")
+    include_file('dune/pdelab/gridfunctionspace/gridfunctionspace.hh', filetag="operatorfile")
     include_file('dune/pdelab/localoperator/idefault.hh', filetag="operatorfile")
     include_file('dune/pdelab/localoperator/flags.hh', filetag="operatorfile")
     include_file('dune/pdelab/localoperator/pattern.hh', filetag="operatorfile")
-- 
GitLab