From 7d7980fbe5a9ae9e951b29afd62ae6345c9beb31 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 21 Apr 2016 18:36:55 +0200 Subject: [PATCH] . --- modelchecker/main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" -- 2.20.1