diff --git a/src/plugins/eva/domains/octagons.ml b/src/plugins/eva/domains/octagons.ml
index bd50d1795910ac96df301e56632ba54de7fcf63c..89e5a9b843d167fe111d6f50d6cdacec17fa1775 100644
--- a/src/plugins/eva/domains/octagons.ml
+++ b/src/plugins/eva/domains/octagons.ml
@@ -1752,6 +1752,8 @@ module Domain = struct
     let variable = Variable.make_lval lvalue in
     (* Remove lvals refering to the variable *)
     let lvalue_zone = (eval_deps variable).data in
+    let modified = Locations.Zone.join state.modified lvalue_zone in
+    let state = { state with modified } in
     let vars = Deps.intersects_zone state.deps lvalue_zone in
     let vars = List.filter (Fun.negate (Variable.equal variable)) vars in
     let state = List.fold_left State.remove state vars in