Index: src/org/python/core/PyDictionary.java =================================================================== --- src/org/python/core/PyDictionary.java (revision 3454) +++ src/org/python/core/PyDictionary.java (working copy) @@ -899,8 +899,12 @@ return table.containsKey(key); } + public boolean __contains__(PyObject o) { + return dict___contains__(o); + } + final boolean dict___contains__(PyObject o) { - return dict_has_key(o); + return has_key(o); } /**