diff --git a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h
index bc59349979dcf458f3de505d762a4cd7e5051a0a..94cb504bae217230e8575da02c8e7c89b47abde1 100644
--- a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h
+++ b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h
@@ -409,9 +409,11 @@ void __e_acsl_print_block (struct _block * ptr) {
   }
 }
 
+static void debug_struct();
+
 /* print the content of the abstract structure */
 void __e_acsl_debug() {
-  __e_acsl_debug_struct();
+  debug_struct();
 }
 
 #endif
diff --git a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.h b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.h
index f02290d5df74403fb635f44c23e27427ae4db003..fea8a586a37e8e880604fc39b0e29671eb1d533e 100644
--- a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.h
+++ b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.h
@@ -454,7 +454,7 @@ static void debug_rec (struct bittree * ptr, int depth) {
 /* print the content of the structure */
 /*@ assigns \nothing;
   @*/
-void __e_acsl_debug_struct () {
+static void debug_struct () {
   DLOG("------------DEBUG\n");
   debug_rec(__root, 0);
   DLOG("-----------------\n");
diff --git a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.h b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.h
index 4ccfb00d0976613ed531c94772f5eddcd9d7a9df..b3224d056227a8fc838f43e0acaae9adb6d6872d 100644
--- a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.h
+++ b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.h
@@ -28,7 +28,7 @@
 #include "e_acsl_assert.h"
 #include "e_acsl_adt_api.h"
 
-struct _node {
+static struct _node {
   struct _block * value;
   struct _node * next;
 };
@@ -127,7 +127,7 @@ static void __clean_struct() {
 /* DEBUG             */
 /*********************/
 #ifdef E_ACSL_DEBUG
-void __e_acsl_debug_struct() {
+static void debug_struct() {
   struct _node * tmp = __list;
   DLOG("\t\t\t------------DEBUG\n");
   for(; tmp != NULL; tmp = tmp->next) {
diff --git a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree.h b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree.h
index 8fe4837efbf66dfba17c1af80a11c7355661027a..4d92cccd3bd45702ffdd87da568f8c054025c79c 100644
--- a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree.h
+++ b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree.h
@@ -192,7 +192,7 @@ static void debug_rec(struct _node * ptr) {
   debug_rec(ptr->right);
 }
 
-void __e_acsl_debug_struct() {
+static void debug_struct() {
   DLOG("\t\t\t------------DEBUG\n");
   debug_rec(__root);
   DLOG("\t\t\t-----------------\n");
diff --git a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.h b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.h
index 4e55bd5fde0b5b0fce25d23b283d8ed196618b74..efaec5ffe87f2e2459caa78c5328b0475213e1c5 100644
--- a/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.h
+++ b/src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.h
@@ -152,7 +152,7 @@ static void debug_rec(struct _node * ptr) {
   debug_rec(ptr->right);
 }
 
-void __e_acsl_debug_struct() {
+static void debug_struct() {
   DLOG("\t\t\t------------DEBUG\n");
   __debug_rec(__root);
   DLOF("\t\t\t-----------------\n");