From dc78a0413528087ba8fc1148840655de808848d2 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 25 Oct 2016 12:20:45 +0100
Subject: [PATCH] removed debug output

---
 src/api/api_fpa.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/api/api_fpa.cpp b/src/api/api_fpa.cpp
index 9b8934d30..8196fb826 100644
--- a/src/api/api_fpa.cpp
+++ b/src/api/api_fpa.cpp
@@ -953,7 +953,6 @@ extern "C" {
             SET_ERROR_CODE(Z3_INVALID_ARG);
             return 0;
         }
-        std::cout << "val=" << mpfm.to_string(val) << std::endl;
         app * a;
         if (mpfm.is_pos(val))
             a = ctx->bvutil().mk_numeral(0, 1);