Fix build with SimGrid 3.12.

[loba.git] / synchro.h

diff --git a/synchro.h b/synchro.h
index 45e0901cac01d9343c48192ba1799fa15ac89c63..fed9e87518354e452866395813423d47315d3eed 100644 (file)
--- a/synchro.h
+++ b/synchro.h
@@ -32,6 +32,7 @@ public:
             if (e.category != timeout_error)
                 RETHROW;
             xbt_ex_free(e);
             if (e.category != timeout_error)
                 RETHROW;
             xbt_ex_free(e);

+            mutex.acquire();

             return false;       // got a timeout
         }
         return true;
             return false;       // got a timeout
         }
         return true;