From 6872ee71c3a60714a3639c75b3d2d38ad0b75463 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Fri, 4 Dec 2015 15:17:13 +0100
Subject: [PATCH] Fix a syntax error from the previous commit
---
src/plugins/e-acsl/visit.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index d5043567de7..3c214f36400 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
--
GitLab