From f6a985ec4db71a3b5d81ab510836f44d683a4dbc Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Thu, 6 Oct 2016 11:44:57 +0200
Subject: [PATCH] Remove unused function

---
 python/dune/perftool/pdelab/__init__.py | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/python/dune/perftool/pdelab/__init__.py b/python/dune/perftool/pdelab/__init__.py
index 51d625d9..abbc10ff 100644
--- a/python/dune/perftool/pdelab/__init__.py
+++ b/python/dune/perftool/pdelab/__init__.py
@@ -20,15 +20,6 @@ def name_index(index):
     raise NotImplementedError
 
 
-def pymbolic_index(index):
-    from ufl.classes import FixedIndex
-    if isinstance(index, FixedIndex):
-        return index._value
-    else:
-        from pymbolic.primitives import Variable
-        return Variable(name_index(index))
-
-
 def restricted_name(name, restriction):
     from dune.perftool import Restriction
     if restriction == Restriction.NONE:
-- 
GitLab