X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=modelchecker%2Fmain.c;h=742feba12e7bb4c9e6927e2073b648d7bd4b6651;hb=7d7980fbe5a9ae9e951b29afd62ae6345c9beb31;hp=0b0067b80b8a07002f128925653bfb9e8fd6526d;hpb=dbbffcd6a2e04269a39840b39f9b4f2d8dee53f4;p=mc1516pa.git

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 0b0067b..742feba 100644
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -22,7 +22,7 @@ void usage(char *prg)
 		"\t%s [opts] [FILE]\n"
 		"\n"
 		"Options:\n"
-		"\t-l LURD lURD verification strategy\n"
+		"\t-l LURD initial LURD\n"
 		"\t-v	   enable verbose output\n"
 		"\t-h	   show this help\n"
 		"\n"