From 5c86a82e59bb0976a21530873558f3044884d30f Mon Sep 17 00:00:00 2001
From: Andrew Santosa <dcsandr@nus.edu.sg>
Date: Thu, 29 Sep 2016 10:44:59 +0800
Subject: Fixed the description of -posix-runtime option

In the description, --sym-argv and --sym-argvs should have instead been --sym-arg and --sym-args
---
 tools/klee/main.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index e198697c..ee20f5ea 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -151,7 +151,7 @@ namespace {
 
   cl::opt<bool>
   WithPOSIXRuntime("posix-runtime",
-		cl::desc("Link with POSIX runtime.  Options that can be passed as arguments to the programs are: --sym-argv <max-len>  --sym-argvs <min-argvs> <max-argvs> <max-len> + file model options"),
+		cl::desc("Link with POSIX runtime.  Options that can be passed as arguments to the programs are: --sym-arg <max-len>  --sym-args <min-argvs> <max-argvs> <max-len> + file model options"),
 		cl::init(false));
 
   cl::opt<bool>
-- 
cgit 1.4.1