From 7bba1d473f4c4dcd1f764bc6518f026e7a24f98b Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Mon, 29 Aug 2016 10:47:46 +0200
Subject: [PATCH] Omit unnecessary enumeration
---
python/dune/perftool/compile.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/python/dune/perftool/compile.py b/python/dune/perftool/compile.py
index 4af5aba5..7b312f83 100644
--- a/python/dune/perftool/compile.py
+++ b/python/dune/perftool/compile.py
@@ -73,7 +73,7 @@ def compile_form():
generate_localoperator_basefile(formdatas, data)
# Generate local operator files
- for index, formdata in enumerate(formdatas):
+ for formdata in formdatas:
with global_context(data=data, formdata=formdata):
# Make sure cache is empty
from dune.perftool.generation import delete_cache_items
--
GitLab