diff --git a/src/optimize_machine.ml b/src/optimize_machine.ml
index a19e6de6c33e14b2cd8b7e95614458f357ffc174..97a300a7a8c567aba71b8c1fc98b3aafdf326ce9 100644
--- a/src/optimize_machine.ml
+++ b/src/optimize_machine.ml
@@ -966,7 +966,7 @@ let add_ghost_assigns_reassigned rasg instrs =
           (fun i ->
             match VMap.find_opt i rasg with
             | Some ns ->
-              IntS.is_empty ns || IntS.exists (( = ) n) ns
+              IntS.exists (( = ) n) ns
             | _ ->
               false)
           il