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

[loba.git] / Dep.xml

diff --git a/Dep.xml b/Dep.xml
index a48504dd31fe3b827250578f805ed618d901ccad..821375da0c9c209afe9a399392bfce923167b379 100644 (file)
--- a/Dep.xml
+++ b/Dep.xml
@@ -1,5 +1,5 @@
 <?xml version='1.0'?>
-<!DOCTYPE platform SYSTEM "simgrid.dtd">
+<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
 <platform version="3">
   <process host="1" function="simulation_main">
     <argument value="777"/>