Remove unused code

6 years ago · 59a851f09a
parent 5384602d00
commit 59a851f09a
1 changed files with 0 additions and 4 deletions
--- a/mythril/laser/smt/bitvec.py
+++ b/mythril/laser/smt/bitvec.py
@ -210,10 +210,6 @@ class BitVecFunc(BitVec):
        :param input:
        """
        from mythril.laser.smt import symbol_factory
        self.symbol_factory = symbol_factory
        self.name = name
        self.input = input
        super().__init__(raw, annotations)