From a7fb995aa184d6695e7b315fe5cf94d084557d04 Mon Sep 17 00:00:00 2001
From: Mark Mossberg <mark.mossberg@gmail.com>
Date: Fri, 22 Dec 2017 18:27:40 -0500
Subject: [PATCH] Update __main__.py (#669)

---
 manticore/__main__.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manticore/__main__.py b/manticore/__main__.py
index 4c5e465..c15b286 100644
--- a/manticore/__main__.py
+++ b/manticore/__main__.py
@@ -19,7 +19,7 @@ def parse_arguments():
             raise argparse.ArgumentTypeError("Argument must be positive")
         return ivalue
 
-    parser = argparse.ArgumentParser(description='Dynamic binary analysis tool')
+    parser = argparse.ArgumentParser(description='Symbolic execution tool')
     parser.add_argument('--assertions', type=str, default=None,
                         help=argparse.SUPPRESS)
     parser.add_argument('--buffer', type=str,