model-checker : abort if popen failed

[simgrid.git] / README

diff --git a/README b/README
index 69bc735..e48307f 100644 (file)
--- a/README
+++ b/README
@@ -11,7 +11,7 @@ In case of trouble, you can additionnally try to have a look to our user
 mailing-list ( http://lists.gforge.inria.fr/mailman/listinfo/simgrid-user ) or
 post us a mail.
 
-Thanks to have downloaded our software,
+Thanks for downloading our software,
 
 Cheers,