From 931c44254d27406d64b58bd1740af22101ec66f2 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 16 Sep 2020 18:10:34 +0200
Subject: [PATCH] [eacsl:runtime] Fix include of segment_tracking.h

---
 .../observation_model/segment_model/e_acsl_segment_tracking.h   | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h
index 82a09ebeecc..828938c53a6 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_segment_tracking.h
@@ -31,6 +31,8 @@
 #include <stddef.h>
 #include <stdint.h>
 
+#include "e_acsl_shadow_layout.h"
+
 /* Segment settings and shadow values interpretation {{{ */
 
 /* This file implements segment-based and offset-based shadow memory models
-- 
GitLab