mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-13 09:26:15 +00:00
Code Activity

Fix the Python FPRef.__lt__ implementation

Browse source
This commit is contained in:
John Grosen 2015-05-25 00:31:04 -07:00
parent 9912b2cd67
commit 64b46f2310
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/python/z3.py
View file

@ -7808,7 +7808,7 @@ class FPRef(ExprRef):
return fpLEQ(self, other) return fpLEQ(self, other)
def __lt__(self, other): def __lt__(self, other):
return fpLEQ(self, other) return fpLT(self, other)
def __ge__(self, other): def __ge__(self, other):
return fpGEQ(self, other) return fpGEQ(self, other)