1.1 --- a/deducer.py Tue Mar 14 23:00:05 2017 +0100
1.2 +++ b/deducer.py Thu Mar 16 23:26:37 2017 +0100
1.3 @@ -372,7 +372,8 @@
1.4 if referenced_attrs:
1.5 attrname = get_attrname_from_location(location)
1.6
1.7 - all_accessed_attrs = self.reference_all_attrs[location]
1.8 + all_accessed_attrs = list(set(self.reference_all_attrs[location]))
1.9 + all_accessed_attrs.sort()
1.10
1.11 for attrtype, attrs in self.get_referenced_attrs(location):
1.12 print >>f_attrs, encode_access_location(location), encode_constrained(constrained), attrtype, sorted_output(attrs)