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

Make options redef-able by default.

Browse source
This commit is contained in:
Johanna Amann 2018-08-10 11:45:37 -07:00
parent 26ea1999ec
commit c34fbee0d1
4 changed files with 22 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ID.h
View file

@ -60,7 +60,7 @@ public:
void SetConst() { is_const = true; }
bool IsConst() const { return is_const; }
void SetOption() { is_option = true; }
void SetOption();
bool IsOption() const { return is_option; }
void SetEnumConst() { is_enum_const = true; }