From 6bfc9878fb90c73cb80b7b80f725f70c9db01238 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Sat, 3 Jan 2015 15:13:57 +0000 Subject: [PATCH] FPA API cosmetics Signed-off-by: Christoph M. Wintersteiger --- src/api/z3_fpa.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/api/z3_fpa.h b/src/api/z3_fpa.h index 8208fbb2c..043d43e2f 100644 --- a/src/api/z3_fpa.h +++ b/src/api/z3_fpa.h @@ -821,18 +821,18 @@ extern "C" { \param s FloatingPoint sort. - def_API('Z3_mk_fpa_get_ebits', UINT, (_in(CONTEXT),_in(SORT))) + def_API('Z3_fpa_get_ebits', UINT, (_in(CONTEXT),_in(SORT))) */ - unsigned Z3_API Z3_mk_fpa_get_ebits(__in Z3_context c, __in Z3_sort s); + unsigned Z3_API Z3_fpa_get_ebits(__in Z3_context c, __in Z3_sort s); /** \brief Retrieves the number of bits reserved for the significand in a FloatingPoint sort. \param s FloatingPoint sort. - def_API('Z3_mk_fpa_get_sbits', UINT, (_in(CONTEXT),_in(SORT))) + def_API('Z3_fpa_get_sbits', UINT, (_in(CONTEXT),_in(SORT))) */ - unsigned Z3_API Z3_mk_fpa_get_sbits(__in Z3_context c, __in Z3_sort s); + unsigned Z3_API Z3_fpa_get_sbits(__in Z3_context c, __in Z3_sort s); /** \brief Conversion of a floating-point term into a bit-vector term in IEEE 754-2008 format.