Skip to content

Commit f76d437

Browse files
Use auto for iterator type
1 parent 8a0135e commit f76d437

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

src/goto-symex/goto_symex_state.h

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -69,8 +69,7 @@ class goto_symex_statet final
6969

7070
unsigned current_count(const irep_idt &identifier) const
7171
{
72-
current_namest::const_iterator it=
73-
current_names.find(identifier);
72+
const auto it = current_names.find(identifier);
7473
return it==current_names.end()?0:it->second.second;
7574
}
7675

@@ -235,8 +234,7 @@ class goto_symex_statet final
235234

236235
unsigned level2_current_count(const irep_idt &identifier) const
237236
{
238-
level2t::current_namest::const_iterator it=
239-
level2_current_names.find(identifier);
237+
const auto it = level2_current_names.find(identifier);
240238
return it==level2_current_names.end()?0:it->second.second;
241239
}
242240
};

0 commit comments

Comments
 (0)