Skip to content

Commit a6ba5d1

Browse files
committed
Do not shadow local variable "simplified"
Name the second use simplified_expr instead.
1 parent 2163297 commit a6ba5d1

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/goto-programs/json_goto_trace.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -138,9 +138,9 @@ void convert_decl(
138138
type_string = from_type(ns, identifier, symbol->type);
139139

140140
json_assignment["mode"] = json_stringt(symbol->mode);
141-
exprt simplified = simplify_expr(step.full_lhs_value, ns);
141+
const exprt simplified_expr = simplify_expr(step.full_lhs_value, ns);
142142

143-
full_lhs_value = json(simplified, ns, symbol->mode);
143+
full_lhs_value = json(simplified_expr, ns, symbol->mode);
144144
}
145145
else
146146
{

0 commit comments

Comments
 (0)