From dfd027e8ffd002998161c00a85dc8dc026ea647b Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Tue, 20 Feb 2018 14:11:01 -0700
Subject: [PATCH] Fix to #47 (missing -)

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index e4e8d92..1fa9a10 100644
--- a/README.md
+++ b/README.md
@@ -65,7 +65,7 @@ The `virtualenv`-enabled `$PATH` should now include two executables: `deepstate`
 You can check your build using the test binaries that were (by default) built and emitted to `deepstate/build/examples`. For example, to use angr to symbolically execute the `IntegerOverflow` test harness with 4 workers, saving generated test cases in a directory called `out`, you would invoke:
 
 ```shell
-$ deepstate-angr --num_workers 4 -output_test_dir out $DEEPSTATE/build/examples/IntegerOverflow
+$ deepstate-angr --num_workers 4 --output_test_dir out $DEEPSTATE/build/examples/IntegerOverflow
 ```
 
  The resulting `out` directory should look something like: