Skip to content

Commit 0cd4f27

Browse files
committed
license, and iostream in linux_verifier.cpp
Signed-off-by: Elazar Gershuni <[email protected]>
1 parent 1cbabe5 commit 0cd4f27

File tree

2 files changed

+1
-2
lines changed

2 files changed

+1
-2
lines changed

scripts/.check-license.ignore

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -19,8 +19,6 @@ ebpf-samples
1919
# Files using Apache-2.0 license
2020
src/crab/array_domain.cpp
2121
src/crab/array_domain.hpp
22-
src/crab/cfg.hpp
23-
src/crab/cfg_bgl.hpp
2422
src/crab/fwd_analyzer.cpp
2523
src/crab/fwd_analyzer.hpp
2624
src/crab/interval.cpp

src/main/linux_verifier.cpp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@
33
#if __linux__
44

55
#include <cstring>
6+
#include <iostream>
67
#include <linux/bpf.h>
78
#include <tuple>
89
#include <unistd.h>

0 commit comments

Comments
 (0)