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

Allow duplicate attributes in full redefs

Browse source
This commit is contained in:
Tim Wojtulewicz 2020-08-28 09:55:40 -07:00
parent 9b2f26c0aa
commit 9106f3f722
5 changed files with 18 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ID.h
View file

@ -121,7 +121,7 @@ public:
bool IsRedefinable() const;
void SetAttrs(AttributesPtr attr);
void AddAttrs(AttributesPtr attr);
void AddAttrs(AttributesPtr attr, bool is_redef = false);
void RemoveAttr(AttrTag a);
void UpdateValAttrs();