Skip to content

Commit 7dfefc7

Browse files
committed
Remove unused function
The function has no user and no documentation, it's purpose is not entirely obvious, the named parameter was not used -- a lot of code smell overall.
1 parent ba49671 commit 7dfefc7

File tree

1 file changed

+0
-7
lines changed

1 file changed

+0
-7
lines changed

src/util/symbol_table_base.h

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -178,13 +178,6 @@ class symbol_table_baset
178178
{
179179
return &**this;
180180
}
181-
182-
symbolt &get_writeable_symbol(const irep_idt &identifier)
183-
{
184-
if(on_get_writeable)
185-
on_get_writeable((*this)->first);
186-
return it->second;
187-
}
188181
};
189182

190183
virtual iteratort begin() = 0;

0 commit comments

Comments
 (0)