diff --git a/src/plugins/eva/engine/transfer_stmt.ml b/src/plugins/eva/engine/transfer_stmt.ml index 40d9b76071d483c8e5be05e37b31888150a2afa0..71042b2b2e41baab8d8f7d0c49e811f686231910 100644 --- a/src/plugins/eva/engine/transfer_stmt.ml +++ b/src/plugins/eva/engine/transfer_stmt.ml @@ -731,7 +731,6 @@ module Make (Abstract: Abstractions.Eva) = struct let stack_with_call = (kf, ki_call) :: Eva_utils.call_stack () in let cvalue_state = Domain.get_cvalue_or_top state in Db.Value.Call_Value_Callbacks.apply (cvalue_state, stack_with_call); - Db.Value.merge_initial_state (Eva_utils.call_stack ()) cvalue_state; let kind = `Builtin None in Cvalue_callbacks.apply_call_hooks stack_with_call kf kind cvalue_state