From ed7afe0049bcf3ec5b1b115e2ec62ec0bd6e3bd3 Mon Sep 17 00:00:00 2001
From: Josselin <josselin@trailofbits.com>
Date: Tue, 29 Jan 2019 13:30:35 +0000
Subject: [PATCH] Re-activate Length Operator conversion

---
 slither/slithir/convert.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/slither/slithir/convert.py b/slither/slithir/convert.py
index 2fe571b1f8..d3de8607cc 100644
--- a/slither/slithir/convert.py
+++ b/slither/slithir/convert.py
@@ -534,8 +534,8 @@ def propagate_types(ir, node):
                 # TODO we should convert the reference to a temporary if the member is a length or a balance
                 if ir.variable_right == 'length' and not isinstance(ir.variable_left, Contract) and isinstance(ir.variable_left.type, (ElementaryType, ArrayType)):
                     length = Length(ir.variable_left, ir.lvalue)
-                    ir.lvalue.points_to = ir.variable_left
-                    return ir
+                    length.lvalue.points_to = ir.variable_left
+                    return length
                 if ir.variable_right == 'balance'and not isinstance(ir.variable_left, Contract)  and isinstance(ir.variable_left.type, ElementaryType):
                     return Balance(ir.variable_left, ir.lvalue)
                 left = ir.variable_left