From 49570f38fd974cca201ea76c82419ee0fb67879b Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 24 Feb 2021 12:03:36 +0100
Subject: [PATCH] [eacsl] Remove obsolete libc attribute `FRAMA_C_MODEL`

---
 .../e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h
index b3349fdf027..96fe1fbbdb7 100644
--- a/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h
+++ b/src/plugins/e-acsl/share/e-acsl/instrumentation_model/e_acsl_contract.h
@@ -35,7 +35,7 @@
 #ifdef __FC_STDLIB
 #include <__fc_alloc_axiomatic.h>
 #else
-/*@ ghost extern int __fc_heap_status __attribute__((FRAMA_C_MODEL)); */
+/*@ ghost extern int __fc_heap_status; */
 #endif
 
 #define contract_t                            export_alias(contract_t)
-- 
GitLab