From 9648c99dd84535c7f029fd189ab781b9b004bfff Mon Sep 17 00:00:00 2001 From: Josselin Date: Mon, 29 Oct 2018 06:50:31 +0000 Subject: [PATCH] Minor --- slither/slithir/convert.py | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/slither/slithir/convert.py b/slither/slithir/convert.py index 9e0e19989..3748f4403 100644 --- a/slither/slithir/convert.py +++ b/slither/slithir/convert.py @@ -375,11 +375,9 @@ def propagate_types(ir, node): using_for = node.function.contract.using_for if isinstance(ir, OperationWithLValue): # Force assignment in case of missing previous correct type - if isinstance(ir, Assignment): - ir.lvalue.set_type(ir.rvalue.type) if not ir.lvalue.type: if isinstance(ir, Assignment): - pass + ir.lvalue.set_type(ir.rvalue.type) elif isinstance(ir, Binary): if BinaryType.return_bool(ir.type): ir.lvalue.set_type(ElementaryType('bool'))