From 64b46f23100c88b1d7755bcb611f7b64399b5ce5 Mon Sep 17 00:00:00 2001 From: John Grosen Date: Mon, 25 May 2015 00:31:04 -0700 Subject: [PATCH] Fix the Python FPRef.__lt__ implementation --- src/api/python/z3.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)