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

Fixes build error of OpenVPN spicy plugin

Browse source
This commit is contained in:
Michael Dopheide 2024-06-20 17:05:03 -05:00
parent b5206f818a
commit ad543a4803
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/spicy/runtime-support.h
View file

@ -21,8 +21,8 @@
#include <hilti/rt/types/all.h>
#include <hilti/rt/util.h>
#include "IntrusivePtr.h"
#include "Type.h"
#include "zeek/IntrusivePtr.h"
#include "zeek/Type.h"
#include "zeek/Desc.h"
#include "zeek/Val.h"
#include "zeek/spicy/cookie.h"