Fix documentation typo in ManticoreBase (#1492)

trailofbits · Jul 22, 2019 · cc7811b · cc7811b
1 parent d578e63
commit cc7811b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/manticore/core/manticore.py b/manticore/core/manticore.py
@@ -223,7 +223,7 @@ def __init__(self, initial_state, workspace_url=None, policy="random", **kwargs)
         *State list: TERMINATED*
 
         TERMINATED contains states that have reached a final condition and raised
-        TerminateState. Workers mainloop simpliy move the states that requested
+        TerminateState. Worker's mainloop simply moves the states that requested
         termination to the TERMINATED list. This is a final list.
 
         ```An inherited Manticore class like ManticoreEVM could internally revive