This data is used within the TRY/CATCH block; mark it volatile to avoid issues on...

[simgrid.git] / src / gras / Msg / msg.c

diff --git a/src/gras/Msg/msg.c b/src/gras/Msg/msg.c
index ea783f1..d6cc3a4 100644 (file)
--- a/src/gras/Msg/msg.c
+++ b/src/gras/Msg/msg.c
@@ -140,7 +140,7 @@ gras_msgtype_declare_v(const char           *name,
  
   gras_msgtype_t msgtype=NULL;
   char *namev=make_namev(name,version);
-  int found = 0;
+  volatile int found = 0;
   xbt_ex_t e;    
   
   TRY {