Merge branch 'master' into actor-yield

[simgrid.git] / examples / java / task / priority / Main.java

diff --git a/examples/java/task/priority/Main.java b/examples/java/task/priority/Main.java
index fd301f3de2730b5d3664cadec0e8f5f915a74210..272898fa40eb05c4197b65bb2430940cb316fe73 100644 (file)
--- a/examples/java/task/priority/Main.java
+++ b/examples/java/task/priority/Main.java
@@ -17,7 +17,7 @@ public class Main {
     Msg.init(args);
     if(args.length < 2) {
       Msg.info("Usage   : Priority platform_file deployment_file");
-      Msg.info("example : Priority ../platforms/platform.xml priorityDeployment.xml");
+      Msg.info("example : Priority ../platforms/small_platform.xml priority.xml");
       System.exit(1);
     }