# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1450193137 -3600
# Node ID 5ca3caefcf9861463cf763502145ed03711dea0e
# Parent  9a48e09044eb82ff2051c157b9d004b5b780ba2f
core (params): removed unused values

diff -r 9a48e09044eb -r 5ca3caefcf98 src/memory/params.py
--- a/src/memory/params.py	Tue Dec 15 16:25:19 2015 +0100
+++ b/src/memory/params.py	Tue Dec 15 16:25:37 2015 +0100
@@ -373,7 +373,6 @@
             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: