From 3e19df0441ac8199fe9f99e7ac555c09fb88a428 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 6 Jan 2013 21:25:46 -0800
Subject: [PATCH] Fix API logging bug

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/api/api_rcf.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/api_rcf.cpp b/src/api/api_rcf.cpp
index 4ba440266..e02522a75 100644
--- a/src/api/api_rcf.cpp
+++ b/src/api/api_rcf.cpp
@@ -251,7 +251,7 @@ extern "C" {
 
     Z3_string Z3_API Z3_rcf_num_to_decimal_string(Z3_context c, Z3_rcf_num a, unsigned prec) {
         Z3_TRY;
-        LOG_Z3_rcf_num_to_string(c, a);
+        LOG_Z3_rcf_num_to_decimal_string(c, a, prec);
         RESET_ERROR_CODE();
         reset_rcf_cancel(c);
         std::ostringstream buffer;