Use clock_gettime for a better resolution in timer.h.

[loba.git] / Plat.xml

diff --git a/Plat.xml b/Plat.xml
index 81e0687cccdf9564718cc6d56d9dbdd2a446f256..eea4eadeb57c2551fa7408fe549aaa6ef0c5b608 100644 (file)
--- a/Plat.xml
+++ b/Plat.xml
@@ -1,5 +1,5 @@
 <?xml version='1.0'?>
 <?xml version='1.0'?>

-<!DOCTYPE platform SYSTEM "simgrid.dtd">
+<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">

 <platform version="3">
  <AS  id="AS0"  routing="Full">
   <host id="1" power="98095000"/>
 <platform version="3">
  <AS  id="AS0"  routing="Full">
   <host id="1" power="98095000"/>