diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index 84f6ff220a2f010c70318300f1f6b325b46e085a..8bb5b69801a20d209c23d08de64ab82be0520273 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -164,12 +164,7 @@ class e_acsl_visitor prj generate = object (self)
                     | None -> model stmts, env
                     | Some (CompoundInit _) -> assert false
                     | Some (SingleInit e) -> 
-                      let e, env = self#literal_string env e in
-                      let stmt = 
-                        Cil.mkStmtOneInstr ~valid_sid:true
-                          (Set(Cil.var new_vi, e, e.eloc))
-                      in
-                      model (stmt :: stmts), env)
+                        let _, env = self#literal_string env e in stmts, env)
                   global_vars
                   ([ return ], env)
               in