Update mythril/laser/smt/bitvec.py

Co-Authored-By: norhh <tommycjniko@gmail.com>
6 years ago · d62e777f90
parent 71f0d0f625
commit d62e777f90
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/smt/bitvec.py
+++ b/mythril/laser/smt/bitvec.py
@ -213,7 +213,7 @@ class BitVec(Expression[z3.BitVecRef]):

    def _handle_shift(self, other: Union[int, "BitVec"], operator: Callable) -> "BitVec":
        """
-        Handle's shift
+        Handles shift
        :param other: The other BitVector
        :param operator: The shift operator
        :return: the resulting output