[eacsl] Remove obsolete libc attribute `FRAMA_C_MODEL`

49570f38 · Basile Desloges · d6de1edd · 49570f38
Commit 49570f38 authored 4 years ago by Basile Desloges
--- 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)