From cc9d85e38488490372cfea708087631b1c925965 Mon Sep 17 00:00:00 2001
From: Markus Buhatem Koch <34865315+markusbkoch@users.noreply.github.com>
Date: Tue, 13 Nov 2018 16:10:03 -0200
Subject: [PATCH] fix duplicates

---
 ui/config.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ui/config.py b/ui/config.py
index 9c0e482..eaa7593 100644
--- a/ui/config.py
+++ b/ui/config.py
@@ -153,7 +153,7 @@ def get_neutral_element(datatype):
 @curried
 def dict_op(f, d1, d2):
     res = {}
-    for k in list(d1.keys())+list(d2.keys()):
+    for k in set(list(d1.keys())+list(d2.keys())):
         try:
             a = d1[k]
         except KeyError: