From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Wed, 25 May 2016 16:39:20 +0000 (+0200)
Subject: [SMPI] Fix #include of private header.
X-Git-Tag: v3_14~1166
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/4678cd89ee6899acf906fde04deafb37af31b64f?hp=4678cd89ee6899acf906fde04deafb37af31b64f

[SMPI] Fix #include of private header.

The file src/instr/instr_smpi.h is still included,
but only if TRACE_CALL_LOCATION is set. I need to fix this
later, too.

This commit also moves a private function to the
correct header (smpi/private.hpp)
---