mirror of
https://github.com/zeek/zeek.git
synced 2025-10-13 12:08:20 +00:00
Remove unnecessary #includes in script_opt
This commit is contained in:
parent
0e47fa10c6
commit
12356a6393
24 changed files with 20 additions and 28 deletions
|
@ -4,6 +4,12 @@
|
|||
|
||||
#pragma once
|
||||
|
||||
#include <vector>
|
||||
|
||||
#include "zeek/Attr.h"
|
||||
#include "zeek/ID.h"
|
||||
#include "zeek/util.h"
|
||||
|
||||
namespace zeek::detail {
|
||||
|
||||
using AttributesPtr = IntrusivePtr<Attributes>;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue