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 82a09ebeecc25f8322c20a89b430b618433aa663..828938c53a645956c5e0731cab2b3b7a9589985d 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