diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index d32aaaf20cb931f3d730ca6b33b12c7bd6fa8cd4..46bd82e3f7c3d6b75f7e670573892f91c08add0e 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -519,7 +519,7 @@ you must call function `%s' and `__e_acsl_memory_clean by yourself.@]"
      * declarations are bypassed by gotos. Note: should be done before
      * [vinst] method (which adds initializers) is executed, otherwise
      * init calls appear before store calls. *)
-    let duplicates = (Exit_points.store_vars stmt) in
+    let duplicates = Exit_points.store_vars stmt in
     let env =
       add_duplicate_store_stmt ~before:stmt env kf duplicates generate in
     function_env := env;