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

fix for recent smart pointer change

Browse source
This commit is contained in:
Vern Paxson 2023-07-13 11:38:27 -07:00
parent b6bff8aa37
commit cc059f6b51
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/script_opt/Stmt.cc
View file

@ -951,7 +951,7 @@ void WhenInfo::UpdateIDs(Reducer* c)
StmtPtr WhenStmt::Duplicate()
{
return SetSucc(new WhenStmt(wi));
return SetSucc(new WhenStmt(std::make_shared<WhenInfo>(wi.get())));
}
bool WhenStmt::IsReduced(Reducer* c) const