From 59a851f09a4fb772cae9518519f5c8033013f401 Mon Sep 17 00:00:00 2001 From: Nathan Date: Sun, 27 Jan 2019 17:00:01 -0500 Subject: [PATCH] Remove unused code --- mythril/laser/smt/bitvec.py | 4 ---- 1 file changed, 4 deletions(-) diff --git a/mythril/laser/smt/bitvec.py b/mythril/laser/smt/bitvec.py index ad13ed4c..9797a4db 100644 --- 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)