From c910ed2eae2588bd10092f4e878fb2a187d4121e Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 2 Jun 2015 18:40:11 +0100
Subject: [PATCH] fpa2bv_approx: bugfix for fp.abs

---
 src/tactic/fpa/fpa2bv_approx_tactic.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tactic/fpa/fpa2bv_approx_tactic.cpp b/src/tactic/fpa/fpa2bv_approx_tactic.cpp
index bc0b5d39a..02c5ab8bd 100644
--- a/src/tactic/fpa/fpa2bv_approx_tactic.cpp
+++ b/src/tactic/fpa/fpa2bv_approx_tactic.cpp
@@ -379,6 +379,7 @@ class fpa2bv_approx_tactic: public tactic {
             case OP_FPA_ABS:
             {
                 mpf_mngr.abs(arg_val[0], rhs_value);
+                mpf_mngr.abs(est_arg_val[0], est_rhs_value);
                 break;
             }
             default: