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 a broken merge

Browse source 
I merged an old version of the branch on accident and then merged the right
one over top of it, but git ended up including both versions. This fixes
that mistake.
This commit is contained in:
Tim Wojtulewicz 2024-07-12 10:00:13 -07:00
parent b935d2f59a
commit f3bcf1a55d
1 changed files with 2 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/spicy/spicyz/driver.cc
View file

@ -35,15 +35,11 @@ struct VisitorTypes : public spicy::visitor::PreOrder {
: driver(driver), glue(glue), is_resolved(is_resolved) {}
void operator()(hilti::declaration::Module* n) final {
// Ignore modules built by us in memory, or builtin modules which
// never contain implementations of hooks for user types.
if ( n->uid().in_memory ||
(module == "hilti" || module == "spicy" || module == "spicy_rt" || module == "zeek_rt") ) {
if ( n->uid().in_memory ) {
// Ignore modules built by us in memory.
module = {};
return;
}
module = n->scopeID();
path = n->uid().path;