Be consistent and hold mutex in any case when returning from condition_t::timedwait().

[loba.git] / process.cpp

diff --git a/process.cpp b/process.cpp
index 6aceea45c0cc9e8cf96ca2993ec04fe2baadc145..3413931f058c1603994fbfa1ece1da06ebb542ca 100644 (file)
--- a/process.cpp
+++ b/process.cpp
@@ -6,7 +6,6 @@
 #include <stdexcept>
 #include <sstream>
 #include <xbt/log.h>
-#include <xbt/time.h>
 
 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(proc);