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: