X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/863adae6473cc1fe177d0c48bc07b752beb83880..10d24bfbe5d413bdb49bf12b9655fc73203cd4f0:/include/simgrid/modelchecker.h

diff --git a/include/simgrid/modelchecker.h b/include/simgrid/modelchecker.h
index 6fe5c2c5a2..0d41344468 100644
--- a/include/simgrid/modelchecker.h
+++ b/include/simgrid/modelchecker.h
@@ -52,7 +52,7 @@ XBT_PUBLIC(void) MC_ignore(void *addr, size_t size);
  *
  *  This is a path as generated by `MC_record_stack_to_string()`.
  */
-extern char* MC_record_path;
+XBT_PUBLIC_DATA(char*) MC_record_path;
 
 /** Whether the replay mode is enabled */
 static inline bool MC_record_replay_is_active(void) {