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

some very minor tidying of script optimization code/documentation

Browse source
This commit is contained in:
Vern Paxson 2023-12-08 14:51:39 -05:00 • committed by Arne Welzel
parent 8e0a62bfec
commit a824bb1e4b
4 changed files with 5 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/script_opt/CPP/InitsInfo.h
View file

@ -594,7 +594,7 @@ public:
private:
FunctionFlavor flavor;
TypePtr params;
RecordTypePtr params;
TypePtr yield;
};