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

make is_managed optional

Browse source
This commit is contained in:
Vern Paxson 2024-06-04 08:11:12 -07:00
parent 98fc4c51d4
commit f24faf0f26
3 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/script_opt/ZAM/ZInst.h
View file

@ -140,7 +140,7 @@ public:
// Whether v1 represents a frame slot type for which we
// explicitly manage the memory.
bool is_managed = false;
std::optional<bool> is_managed;
};
// A intermediary ZAM instruction, one that includes information/methods