From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 1 Oct 2018 20:59:48 +0000 (+0200)
Subject: hide private globals to avoid name clashes
X-Git-Tag: v3_21~13
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/6d06f02212eb71b6b922ce0cfa436b2569057071?ds=sidebyside

hide private globals to avoid name clashes
---

diff --git a/src/instr/instr_paje_trace.cpp b/src/instr/instr_paje_trace.cpp
index a725958bb9..818df485f2 100644
--- a/src/instr/instr_paje_trace.cpp
+++ b/src/instr/instr_paje_trace.cpp
@@ -15,7 +15,7 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(instr_paje_trace, instr, "tracing event system")
 
 extern std::ofstream tracing_file;
 
-std::vector<simgrid::instr::PajeEvent*> buffer;
+static std::vector<simgrid::instr::PajeEvent*> buffer;
 
 void dump_comment(std::string comment)
 {