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

Bump Spicy to current main.

Browse source
This commit is contained in:
Robin Sommer 2024-03-25 11:06:16 +01:00
parent 86d1812d49
commit a51e823bc0
No known key found for this signature in database
GPG key ID: D8187293B3FFE5D0
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
auxil/spicy

@ -1 +1 @@
Subproject commit 7b38bd27fff703f69659b750e3b89ed500340d7c
Subproject commit 18a7377024003040db19c060f67484ec90ba0753

2
src/spicy/spicyz/glue-compiler.cc
View file

@ -511,7 +511,7 @@ bool GlueCompiler::loadEvtFile(hilti::rt::filesystem::path& path) {
if ( looking_at(*chunk, i, "from") ) {
eat_token(*chunk, &i, "from");
scope = hilti::ID(extract_path(*chunk, &i));
scope = hilti::ID(extract_path(*chunk, &i).native());
SPICY_DEBUG(hilti::util::fmt(" Got module %s to import from scope %s", module, scope));
}
else