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

fixed cut-and-paste botch (redundant line of code)

Browse source
This commit is contained in:
Vern Paxson 2021-05-09 14:42:03 -07:00
parent 1b825c51de
commit e697f351ad
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/script_opt/ScriptOpt.cc
View file

@ -122,7 +122,6 @@ void optimize_func(ScriptFunc* f, std::shared_ptr<ProfileFunc> pf,
// Profile the new body.
pf = std::make_shared<ProfileFunc>(f, body, true);
pf = std::make_shared<ProfileFunc>(f, body, true);
// Compute its reaching definitions.
RD_Decorate reduced_rds(pf);