# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1352157166 -3600
# Node ID 83b4c6e5e99b254c7f35378f9ed2dff3f7080209
# Parent  37db6f8916c7e15d60af28c799f9f38ed46308fd
Remove redundant entries in types pop-ups.

diff -r 37db6f8916c7 -r 83b4c6e5e99b micropython/report.py
--- a/micropython/report.py	Mon Nov 05 00:22:09 2012 +0100
+++ b/micropython/report.py	Tue Nov 06 00:12:46 2012 +0100
@@ -28,6 +28,11 @@
 import os
 import textwrap
 
+try:
+    set
+except NameError:
+    from sets import Set as set
+
 # Classes.
 
 # HTML-related output production.
@@ -1450,7 +1455,7 @@
     # Statistics gathering methods.
 
     def possible_accessor_types(self, node, defining_users=1):
-        possible_types = [tn for (tn, st) in ASTVisitor.possible_accessor_types(self, node, defining_users)]
+        possible_types = set([tn for (tn, st) in ASTVisitor.possible_accessor_types(self, node, defining_users)])
         if not possible_types:
             self.program.unknown_target_nodes.append((self.units[-1], node))
         return possible_types