diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index d5043567de7de674011b424caca507f911c3e856..3c214f3640056e138a477ad0e10b0a1a9673ca2f 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -85,7 +85,7 @@ class e_acsl_visitor prj generate = object (self)
 
   val mutable keep_initializer = None
 
-  val global_vars: ioffset Varinfo.Hashtbl.t = Varinfo.Hashtbl.create 7
+  val global_vars: init option Varinfo.Hashtbl.t = Varinfo.Hashtbl.create 7
   (* A hashtable mapping global variables (as Cil_type.varinfo) to their
    initialisers aiming to capture memory allocated by global variable
    declarations and initilisation. At runtime the memory blocks corresponding