From 922cd9a8337d82a2ad64e24047f7085326ad3342 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Tue, 28 Nov 2017 01:27:42 +0100
Subject: [PATCH] sonar: don't throw a copy of catched exceptions

---
 src/xbt/xbt_os_synchro.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/xbt/xbt_os_synchro.cpp b/src/xbt/xbt_os_synchro.cpp
index 8973885bfb..eb1aecc4bc 100644
--- 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;
-- 
2.20.1