From eb3d499888eaaeac8e6428a06223b8e549be830e Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 9 Jun 2015 12:28:52 +0100 Subject: [PATCH] documentation fix --- src/api/z3_fpa.h | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/src/api/z3_fpa.h b/src/api/z3_fpa.h index 01908e358..6bd752f0a 100644 --- a/src/api/z3_fpa.h +++ b/src/api/z3_fpa.h @@ -859,16 +859,16 @@ extern "C" { Z3_string Z3_API Z3_fpa_get_numeral_significand_string(__in Z3_context c, __in Z3_ast t); /** - \brief Return the significand value of a floating-point numeral as a uint64. + \brief Return the significand value of a floating-point numeral as a uint64. - \param c logical context - \param t a floating-point numeral + \param c logical context + \param t a floating-point numeral - Remarks: This function extracts the significand bits in `t`, without the - hidden bit or normalization. Sets the Z3_INVALID_ARG error code if the - signicand does not fit into a uint64. + Remarks: This function extracts the significand bits in `t`, without the + hidden bit or normalization. Sets the Z3_INVALID_ARG error code if the + signicand does not fit into a uint64. - def_API('Z3_fpa_get_numeral_significand_uint64', BOOL, (_in(CONTEXT), _in(AST))) + def_API('Z3_fpa_get_numeral_significand_uint64', BOOL, (_in(CONTEXT), _in(AST), _out(UINT64))) */ Z3_bool Z3_API Z3_fpa_get_numeral_significand_uint64(__in Z3_context c, __in Z3_ast t, __out __uint64 * n);