From 1bb0e74a9d1702fcac47d08d9cb1278e80586257 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Wed, 19 Dec 2018 10:29:05 +0000
Subject: Renamed --environ to --env-file

---
 tools/klee/main.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index baf08f50..16cabb0a 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -141,8 +141,8 @@ namespace {
             cl::cat(StartCat));
 
   cl::opt<std::string>
-  Environ("environ",
-          cl::desc("Parse environment from given file (in \"env\" format)"),
+  Environ("env-file",
+          cl::desc("Parse environment from the given file (in \"env\" format)"),
           cl::cat(StartCat));
 
   cl::opt<bool>
-- 
cgit 1.4.1