From f37c65b62f69d7951675f5c393daabc27dbe5a9f Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 28 May 2013 06:56:46 +0000
Subject: [PATCH] [E-ACSL] compatibility with kernel API changes

---
 src/plugins/e-acsl/typing.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/typing.ml b/src/plugins/e-acsl/typing.ml
index 6a86f2b90e6..0151681546e 100644
--- a/src/plugins/e-acsl/typing.ml
+++ b/src/plugins/e-acsl/typing.ml
@@ -226,7 +226,7 @@ let type_constant ty = function
   | LStr _ | LWStr _ | LReal _ | LEnum _ -> No_integral ty
 
 let size_of ty =
-  try int_to_interv (Cil.sizeOf_int ty)
+  try int_to_interv (Cil.bytesSizeOf ty)
   with Cil.SizeOfError _ -> eacsl_typ_of_typ Cil.ulongLongType
 
 let align_of ty = int_to_interv (Cil.bytesAlignOf ty)
-- 
GitLab