Fixed typo in verifier.rst (#2580)

* Fixed typo in verifier.rst * Update verifier.rst
trailofbits · Aug 16, 2022 · 28bbde4 · 28bbde4
1 parent e771ce0
commit 28bbde4
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/docs/verifier.rst b/docs/verifier.rst
@@ -166,7 +166,5 @@ We can design a property around the fact that the initial token count can not be
 
 And you can unleash the verifier like this::
 
-    $manticore-verifier testtoken.sol  --contract TestToken
+    $manticore-verifier testtoken.sol  --contract_name TestToken
 
-
-f/