Mark as volatile a variable used in a CATCH block

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@2790 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/gras/Virtu/gras_module.c b/src/gras/Virtu/gras_module.c
index 5943d16..b0cc37b 100644 (file)
--- a/src/gras/Virtu/gras_module.c
+++ b/src/gras/Virtu/gras_module.c
@@ -110,7 +110,7 @@ void gras_module_add(const char *name, unsigned int datasize, int *ID,
                     void_f_pvoid_t *join_f, void_f_pvoid_t *leave_f) {
   gras_module_t mod=NULL;
   xbt_ex_t e;
-  int found = 0;
+  volatile int found = 0;
 
   if (!_gras_modules)
     _gras_modules = xbt_set_new();
@@ -149,7 +149,6 @@ void gras_module_add(const char *name, unsigned int datasize, int *ID,
   mod->leave_f = leave_f;
   mod->refcount = 0;
   
-  
   *mod->p_id = xbt_set_length(_gras_modules);
   
   xbt_set_add(_gras_modules,(void*)mod,gras_module_freep);