From c2a2d2d0dfdccccc9e611d8556014fdff774be3f Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 11 Jun 2014 13:27:21 +0100 Subject: [PATCH] Renamed Z3_mk_double to Z3_mk_fpa_double for consistency Signed-off-by: Christoph M. Wintersteiger --- src/api/api_fpa.cpp | 4 ++-- src/api/z3_fpa.h | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/api/api_fpa.cpp b/src/api/api_fpa.cpp index 278a0556a..374e3d344 100644 --- a/src/api/api_fpa.cpp +++ b/src/api/api_fpa.cpp @@ -121,9 +121,9 @@ extern "C" { Z3_CATCH_RETURN(0); } - Z3_ast Z3_API Z3_mk_double(Z3_context c, double v, Z3_sort ty) { + Z3_ast Z3_API Z3_mk_fpa_double(Z3_context c, double v, Z3_sort ty) { Z3_TRY; - LOG_Z3_mk_double(c, v, ty); + LOG_Z3_mk_fpa_double(c, v, ty); RESET_ERROR_CODE(); api::context * ctx = mk_c(c); scoped_mpf tmp(ctx->float_util().fm()); diff --git a/src/api/z3_fpa.h b/src/api/z3_fpa.h index 93268b821..81cfff591 100644 --- a/src/api/z3_fpa.h +++ b/src/api/z3_fpa.h @@ -131,7 +131,7 @@ extern "C" { def_API('Z3_mk_double', AST, (_in(CONTEXT), _in(DOUBLE), _in(SORT))) */ - Z3_ast Z3_API Z3_mk_double(__in Z3_context c, __in double v, __in Z3_sort ty); + Z3_ast Z3_API Z3_mk_fpa_double(__in Z3_context c, __in double v, __in Z3_sort ty); /** \brief Floating-point absolute value