diff --git a/src/api/python/z3.py b/src/api/python/z3.py
index 305733aa7..814198d22 100644
--- a/src/api/python/z3.py
+++ b/src/api/python/z3.py
@@ -8099,10 +8099,6 @@ class FPRef(ExprRef):
     def __gt__(self, other):
         return fpGT(self, other, self.ctx)
 
-    def __ne__(self, other):
-        return fpNEQ(self, other, self.ctx)
-
-
     def __add__(self, other):
         """Create the Z3 expression `self + other`.