From 18b9cd19482c08759b868c9574eb48bb3c55a0b2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andres=20N=C3=B6tzli?= Date: Tue, 1 Mar 2016 18:56:20 -0800 Subject: [PATCH] [Z3py] Fix documentation in FPSortRef --- src/api/python/z3.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/api/python/z3.py b/src/api/python/z3.py index 531f2e8cd..3a4276dfd 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -7964,7 +7964,7 @@ class FPSortRef(SortRef): return int(Z3_fpa_get_ebits(self.ctx_ref(), self.ast)) def sbits(self): - """Retrieves the number of bits reserved for the exponent in the FloatingPoint sort `self`. + """Retrieves the number of bits reserved for the significand in the FloatingPoint sort `self`. >>> b = FPSort(8, 24) >>> b.sbits() 24 @@ -7972,8 +7972,7 @@ class FPSortRef(SortRef): return int(Z3_fpa_get_sbits(self.ctx_ref(), self.ast)) def cast(self, val): - """Try to cast `val` as a Floating-point expression - + """Try to cast `val` as a floating-point expression. >>> b = FPSort(8, 24) >>> b.cast(1.0) 1