diff --git a/src/plugins/e-acsl/src/main.ml b/src/plugins/e-acsl/src/main.ml
index 60999f730df471f1276a62aef2fa435c41ecca4d..d638cb7357f1b3c7cdc5b5c3e602480f6852f6fa 100644
--- a/src/plugins/e-acsl/src/main.ml
+++ b/src/plugins/e-acsl/src/main.ml
@@ -155,9 +155,13 @@ let generate_code =
               Project.on prepared_prj
                 (fun () ->
                    let dup_prj = Dup_functions.dup () in
+                   let cname = Project.get_name dup_prj ^ " (copy)" in
+                   let copied_prj =
+                     Project.create_by_copy cname ~last:true ~src:dup_prj
+                   in
                    let res =
                      Project.on
-                       dup_prj
+                       copied_prj
                        (fun () ->
                           Gmp_types.init ();
                           Mmodel_analysis.reset ();