From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 21 Apr 2016 16:36:55 +0000 (+0200)
Subject: .
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=7d7980fbe5a9ae9e951b29afd62ae6345c9beb31;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"