schema.py
branchstable
changeset 9168 0fb4b67bde58
parent 8945 ba9e3fbfa5a5
child 9173 f3286e817f28
--- a/schema.py	Mon Jul 15 10:59:34 2013 +0200
+++ b/schema.py	Mon Jul 22 14:26:33 2013 +0200
@@ -711,6 +711,9 @@
             return self.expression == other.expression
         return False
 
+    def __hash__(self):
+        return hash(self.expression)
+
     def __deepcopy__(self, memo):
         return self.__class__(self.expression, self.mainvars)
     def __getstate__(self):