style

5 years ago · e174da4dd8
parent de02f61994
commit e174da4dd8
1 changed files with 0 additions and 1 deletions
--- a/mythril/laser/smt/bitvec_helper.py
+++ b/mythril/laser/smt/bitvec_helper.py
@ -68,7 +68,6 @@ def If(a: Union[Bool, bool], b: Union[BitVec, int], c: Union[BitVec, int]) -> Bi
        nested_functions = [nf for func in bvf for nf in func.nested_functions] + bvf
        return BitVecFunc(raw, func_name="Hybrid", nested_functions=nested_functions)

-
    return BitVec(z3.If(a.raw, b.raw, c.raw), union)