Typo (#1768)

trailofbits · Jul 6, 2020 · 7d26c9d · 7d26c9d
1 parent e265bce
commit 7d26c9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/manticore/ethereum/verifier.py b/manticore/ethereum/verifier.py
@@ -282,7 +282,7 @@ def manticore_verifier(
                      * is normal property
                      * RETURN False
                    OR:
-                     * property name ends witth 'revert'
+                     * property name ends with 'revert'
                      * does not REVERT
                 Property is considered to _pass_ otherwise
                 """