Remove type hint for compatibility with 3.5

mythril/laser/smt/__init__.py

@@ -87,4 +87,7 @@ class _Z3SymbolFactory(SymbolFactory):
 
 
 # This is the instance that other parts of mythril should use
-symbol_factory: SymbolFactory = _SmtSymbolFactory()
+
+# Type hints are not allowed here in 3.5
+# symbol_factory: SymbolFactory = _SmtSymbolFactory()
+symbol_factory = _SmtSymbolFactory()

tests/laser/state/storage_test.py

@@ -1,6 +1,7 @@
 import pytest
 from mythril.laser.ethereum.state.account import Storage
 from mythril.laser.smt import Expression
+
 storage_uninitialized_test_data = [({}, 1), ({1: 5}, 2), ({1: 5, 3: 10}, 2)]