let's try to please windows

[simgrid.git] / include / simgrid / modelchecker.h

diff --git a/include/simgrid/modelchecker.h b/include/simgrid/modelchecker.h
index 6fe5c2c..0d41344 100644 (file)
--- 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) {