diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index cdc895808246194c47dc892beec3e4df9f16c62c..72be013bddc9acd301d9826b6d325a128dae39e7 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -293,7 +293,7 @@ you must call function `%s' and `__e_acsl_memory_clean by yourself.@]"
                   (* Grab addresses of arguments for a call to the main
                   initialization function, i.e., [__e_acsl_memory_init] *)
                   List.map Cil.mkAddrOfVi main.sformals;
-              | _ -> let null = Cil.integer loc 0
+              | _ -> let null = Cil.zero loc
             in [ null ; null  ] in
           let args = args @ [ptrSz] in
           let init = Misc.mk_call