sonar: don't throw a copy of catched exceptions

diff --git a/src/xbt/xbt_os_synchro.cpp b/src/xbt/xbt_os_synchro.cpp
index 8973885..eb1aecc 100644 (file)
--- a/src/xbt/xbt_os_synchro.cpp
+++ b/src/xbt/xbt_os_synchro.cpp
@@ -58,7 +58,7 @@ int xbt_cond_timedwait(xbt_cond_t cond, xbt_mutex_t mutex, double delay)
     if (e.category == timeout_error) {
       return 1;
     } else {
-      throw e; // unknown exception
+      throw; // rethrow the exceptions that I don't know
     }
   }
   return 0;