From d73aea319dac060da08b2a73f4276c489be6643f Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Mon, 18 Jul 2016 10:58:15 +0200
Subject: [PATCH] [RTL] Fixed header file in bits

---
 src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h b/src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h
index 20000bb62a4..436433f27de 100644
--- a/src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h
+++ b/src/plugins/e-acsl/share/e-acsl/e_acsl_bits.h
@@ -36,6 +36,7 @@
 #define E_ACSL_BITS
 
 #include <stdint.h>
+#include <stddef.h>
 
 /* Check if we have little-endian and abort the execution otherwise. */
 #if __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
-- 
GitLab