Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / teshsuite / mc / replay / random_bug.xml

diff --git a/teshsuite/mc/replay/random_bug.xml b/teshsuite/mc/replay/random_bug.xml
index 46b16ec..d9ecb02 100644 (file)
--- a/teshsuite/mc/replay/random_bug.xml
+++ b/teshsuite/mc/replay/random_bug.xml
@@ -1,5 +1,5 @@
 <?xml version='1.0'?>
- <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
- <platform version="3">
-   <process host="Tremblay" function="app"/>
- </platform>
+<!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd">
+<platform version="4">
+  <process host="Tremblay" function="app"/>
+</platform>