From 77fa4678c983b17e7a1b571732d063c6f23b66c9 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Fri, 4 Sep 2020 10:51:47 +0200
Subject: [PATCH] [eacsl:runtime] Remove unused extern definition
---
.../observation_model/segment_model/e_acsl_segment_tracking.h | 2 --
1 file changed, 2 deletions(-)
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 465ed429342..82a09ebeecc 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
@@ -367,8 +367,6 @@ void mark_readonly_region (uintptr_t addr, long size);
/* }}} */
/* Heap allocation {{{ (malloc/calloc) */
-extern int MSPACES_INIT;
-
/** \brief Return shadowed copy of a memory chunk on a program's heap using.
* If `init` parameter is set to a non-zero value the memory occupied by the
* resulting block is set to be initialized and uninitialized otherwise. */
--
GitLab