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

fix for deprecated when's where the inner frame is larger than the outer frame

Browse source
This commit is contained in:
Vern Paxson 2022-09-25 19:55:47 -07:00
parent 19ba30d77a
commit 71d1022269
3 changed files with 20 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/Scope.h
View file

@ -92,6 +92,11 @@ extern void push_existing_scope(ScopePtr scope);
// Returns the one popped off.
extern ScopePtr pop_scope();
// Merges the elements of the current scope with the one surrounding it,
// popping it in the process.
extern void merge_top_scope();
extern ScopePtr current_scope();
extern ScopePtr global_scope();