typo

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@5137 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/examples/gras/mutual_exclusion/simple_token/make_deployment.pl b/examples/gras/mutual_exclusion/simple_token/make_deployment.pl
index 653e5f9..b25f614 100755 (executable)
--- a/examples/gras/mutual_exclusion/simple_token/make_deployment.pl
+++ b/examples/gras/mutual_exclusion/simple_token/make_deployment.pl
@@ -54,4 +54,4 @@ print "    <argument value=\"4000\"/>     <!-- port on which peer is listening -
 print "    <argument value=\"--create-token\"/>   <!-- I'm first client, ie I have to create the token -->\n";
 print "  </process>\n\n";
 
-print "</platform\n";
+print "</platform>\n";