# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1489703197 -3600
# Node ID 56d2e278e68b4e83ae8a5150fd3e47c814fa73bf
# Parent  b7de08fc69b09d18630e97ddf469a3910ffee3bb
Eliminated duplicated information in the attribute summary and tests output.

diff -r b7de08fc69b0 -r 56d2e278e68b deducer.py
--- a/deducer.py	Tue Mar 14 23:00:05 2017 +0100
+++ b/deducer.py	Thu Mar 16 23:26:37 2017 +0100
@@ -372,7 +372,8 @@
                 if referenced_attrs:
                     attrname = get_attrname_from_location(location)
 
-                    all_accessed_attrs = self.reference_all_attrs[location]
+                    all_accessed_attrs = list(set(self.reference_all_attrs[location]))
+                    all_accessed_attrs.sort()
 
                     for attrtype, attrs in self.get_referenced_attrs(location):
                         print >>f_attrs, encode_access_location(location), encode_constrained(constrained), attrtype, sorted_output(attrs)