diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index a65afdce47ad26dc91cf68a4f920aaf7bdab2e07..0cd4db839235c22e8903b96f60dff58b5a1b560b 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -211,7 +211,7 @@ class e_acsl_visitor prj generate = object (self)
               let return =
                 Cil.mkStmt ~valid_sid:true (Return(None, Location.unknown)) in
               (* Generate init statements for temporal analysis *)
-              let tinit_stmts = Varinfo.Hashtbl.fold
+              let tinit_stmts = Varinfo.Hashtbl.fold_sorted
                 (fun vi (off, init) acc ->
                   match init with
                   | Some init ->