From 7324ef7c393f48747ae7231ce891e7023c3da265 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 27 Oct 2015 12:02:38 +0000 Subject: [PATCH] Fixed FP function names in Python API. Fixes #264 --- src/api/python/z3.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/python/z3.py b/src/api/python/z3.py index 9c19fa86d..4339800d5 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -7756,7 +7756,7 @@ def Float64(ctx=None): ctx = _get_ctx(ctx) return FPSortRef(Z3_mk_fpa_sort_64(ctx.ref()), ctx) -def FloatSingle(ctx=None): +def FloatDouble(ctx=None): """Floating-point 64-bit (double) sort.""" ctx = _get_ctx(ctx) return FPSortRef(Z3_mk_fpa_sort_double(ctx.ref()), ctx) @@ -7766,7 +7766,7 @@ def Float128(ctx=None): ctx = _get_ctx(ctx) return FPSortRef(Z3_mk_fpa_sort_128(ctx.ref()), ctx) -def FloatSingle(ctx=None): +def FloatQuadruple(ctx=None): """Floating-point 128-bit (quadruple) sort.""" ctx = _get_ctx(ctx) return FPSortRef(Z3_mk_fpa_sort_quadruple(ctx.ref()), ctx)