From 13eac21b2c3b07d0c723de45488454a13ccf7c44 Mon Sep 17 00:00:00 2001
From: Aleksandar Zeljic <aleksandar.zeljic@it.uu.se>
Date: Thu, 28 May 2015 18:09:18 +0200
Subject: [PATCH] Introduced an empty dep2asm_map.

---
 src/tactic/fpa/fpa2bv_approx_tactic.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/tactic/fpa/fpa2bv_approx_tactic.cpp b/src/tactic/fpa/fpa2bv_approx_tactic.cpp
index 8a86ec0e8..4670883e1 100644
--- a/src/tactic/fpa/fpa2bv_approx_tactic.cpp
+++ b/src/tactic/fpa/fpa2bv_approx_tactic.cpp
@@ -896,7 +896,9 @@ class fpa2bv_approx_tactic: public tactic {
             TRACE("before_sat_solver", g->display(tout););
             g->elim_redundancies();
 
-            m_goal2sat(*g, m_params, solver, map);
+            goal2sat::dep2asm_map d2am ;
+            m_goal2sat(*g, m_params, solver, map,  d2am , false);
+
 
             TRACE("sat_solver_unknown", tout << "interpreted_atoms: " << map.interpreted_atoms() << "\n";
             atom2bool_var::iterator it = map.begin();