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

Minor cleanup items from PR review

Browse source
This commit is contained in:
Tim Wojtulewicz 2020-07-02 12:55:21 -07:00
parent 3d9d3972f1
commit 3098dd6fbb
6 changed files with 8 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/Scope.cc
View file

@ -223,11 +223,11 @@ Scope* global_scope()
}
const zeek::detail::IDPtr lookup_ID(
const zeek::detail::ID* lookup_ID(
const char* name, const char* module,
bool no_global,
bool same_module_only,
bool check_export)
{
return zeek::detail::lookup_ID(name, module, no_global, same_module_only, check_export);
}
{
return zeek::detail::lookup_ID(name, module, no_global, same_module_only, check_export).get();
}