Remove redundant definition of lhs_object

tautschnig · tautschnig · commit ebc3d24ce84c · 2019-01-14T18:28:51.000Z
The earlier definition has the same value.
diff --git a/src/goto-programs/xml_goto_trace.cpp b/src/goto-programs/xml_goto_trace.cpp
@@ -81,8 +81,6 @@ void convert(
           xml_assignment.new_element().swap(xml_location);
 
         {
-          auto lhs_object=step.get_lhs_object();
-
           const symbolt *symbol;
 
           if(lhs_object.has_value() &&

Original file line number	Diff line number	Diff line change
`@@ -81,8 +81,6 @@ void convert(`
`81`	`81`	`xml_assignment.new_element().swap(xml_location);`
`82`	`82`
`83`	`83`	`{`
`84`		`- auto lhs_object=step.get_lhs_object();`
`85`		`-`
`86`	`84`	`const symbolt *symbol;`
`87`	`85`
`88`	`86`	`if(lhs_object.has_value() &&`