Merge branch 'master' of https://github.com/dopefishh/mc1516pa

[mc1516pa.git] / modelchecker / main.c

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 2138dfc..79bb46d 100644 (file)
--- 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"