diff --git a/src/api/python/z3.py b/src/api/python/z3.py
index 2ea057a64..3b869d1fd 100644
--- a/src/api/python/z3.py
+++ b/src/api/python/z3.py
@@ -7835,7 +7835,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)