# HG changeset patch
# User David Loeffler
# Date 1331587600 0
# Node ID 5f7131d41ebf8219cf0b9efa467b703128369f87
# Parent 68e89260148df131fec1708338ceba3ea964b2bb
#12351: doctest poset comparison bug fixed by #10998
diff --git a/sage/combinat/posets/elements.py b/sage/combinat/posets/elements.py
--- a/sage/combinat/posets/elements.py
+++ b/sage/combinat/posets/elements.py
@@ -104,6 +104,11 @@
sage: PosetElement(P,1,"c") == PosetElement(P,0,"c")
True
+
+ Test that :trac:`12351` is fixed::
+
+ sage: P(0) == int(0)
+ False
"""
# This should instead exploit unique representation, using
# self is other, or best inherit __eq__ from there. But there