Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-09 18:18:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Mark List::append/insert deprecated in favor of push_back/push_front for consistency with Queue

Browse source
This commit is contained in:
Tim Wojtulewicz 2019-07-19 14:53:01 -07:00 • committed by Jon Siwek
parent d2d5043bf0
commit 6144f459e1
39 changed files with 221 additions and 211 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/Scope.cc
View file

@ -194,13 +194,13 @@ ID* install_ID(const char* name, const char* module_name,
void push_existing_scope(Scope* scope)
{
scopes.append(scope);
scopes.push_back(scope);
}
void push_scope(ID* id, attr_list* attrs)
{
top_scope = new Scope(id, attrs);
scopes.append(top_scope);
scopes.push_back(top_scope);
}
Scope* pop_scope()