From 98af94627d6c31b778a512363b6e899ff7eae76d Mon Sep 17 00:00:00 2001
From: Marcel Koch <marcel.koch@uni-muenster.de>
Date: Wed, 24 Oct 2018 15:46:08 +0200
Subject: [PATCH] do not delete keys from dict
---
python/dune/perftool/blockstructured/transformations.py | 1 -
1 file changed, 1 deletion(-)
diff --git a/python/dune/perftool/blockstructured/transformations.py b/python/dune/perftool/blockstructured/transformations.py
index ad010e45..83735666 100644
--- a/python/dune/perftool/blockstructured/transformations.py
+++ b/python/dune/perftool/blockstructured/transformations.py
@@ -19,7 +19,6 @@ def blockstructured_iname_duplication(kernel):
for s in suffixes:
if base + s in duplication_options:
dup_kernel = duplicate_inames(dup_kernel, base + s, duplication_options[base + s])
- del duplication_options[base + s]
if has_schedulable_iname_nesting(dup_kernel):
return dup_kernel
--
GitLab