From 9230158f9ff1f60c35eed8b53f210077b691cb69 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 20 Nov 2017 11:43:17 +0100
Subject: [PATCH] Declare as XBT_PUBLIC.

---
 include/xbt/string.hpp | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/include/xbt/string.hpp b/include/xbt/string.hpp
index e610b816b8..1916178d89 100644
--- a/include/xbt/string.hpp
+++ b/include/xbt/string.hpp
@@ -300,14 +300,13 @@ typedef std::string string;
  *
  * @ingroup XBT_str
 */
-std::string string_printf(const char *fmt, ...);
+XBT_PUBLIC(std::string) string_printf(const char* fmt, ...);
 
 /** Create a C++ string from a C-style format
  *
  * @ingroup XBT_str
 */
-std::string string_vprintf(const char *fmt, va_list ap);
-
+XBT_PUBLIC(std::string) string_vprintf(const char* fmt, va_list ap);
 }
 }
 
-- 
2.20.1