From 0ecb55517d9bf66414f67d1a769982dd6581ec5b Mon Sep 17 00:00:00 2001
From: Goffi <goffi@goffi.org>
Date: Tue, 15 Dec 2015 16:25:37 +0100
Subject: [PATCH] core (params): removed unused values

---
 src/memory/params.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/memory/params.py b/src/memory/params.py
index 541a483a..f3d10590 100644
--- a/src/memory/params.py
+++ b/src/memory/params.py
@@ -373,7 +373,6 @@ class Params(object):
             elif node.getAttribute('type') == 'list':
                 assert not value_to_use  # only accept <option selected...> and not <param value...>
                 options = [option for option in node.childNodes if option.nodeName == 'option']
-                values = [option.getAttribute('value') for option in options]
                 selected = [option for option in options if option.getAttribute('selected') == 'true']
                 cat, param = node.parentNode.getAttribute('name'), node.getAttribute('name')
                 if len(selected) == 1: