diff --git a/src/api/python/z3.py b/src/api/python/z3.py
index 16d2eb6ba..1f1fc3604 100644
--- a/src/api/python/z3.py
+++ b/src/api/python/z3.py
@@ -7808,7 +7808,7 @@ class FPRef(ExprRef):
         return fpLEQ(self, other)
 
     def __lt__(self, other):
-        return fpLEQ(self, other)
+        return fpLT(self, other)
 
     def __ge__(self, other):
         return fpGEQ(self, other)