diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 17c9742b757caf3f2f26c2644dd68d8ab3269d41..cb5ea34d15d41987058e9370703dd7e9114331d2 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -368,6 +368,7 @@ mmodel_sources() {
   model=""
   case "$1" in
     bittree) model="bittree_model/e_acsl_bittree_mmodel.c" ;;
+    segment) model="segment_model/e_acsl_segment_mmodel.c" ;;
     *) error "Memory model '$1' does not exist" ;;
   esac
   model="$EACSL_SHARE/$model"