--- a/ThirdParty/Pygments/pygments/token.py	Tue Jan 04 17:37:48 2011 +0100
+++ b/ThirdParty/Pygments/pygments/token.py	Wed Jan 05 15:46:19 2011 +0100
@@ -40,9 +40,6 @@
         new.parent = self
         return new
 
-    def __hash__(self):
-        return hash(tuple(self))
-
     def __repr__(self):
         return 'Token' + (self and '.' or '') + '.'.join(self)