From c165e05b835d0ec3247f7ddec2f5e7de3f53c650 Mon Sep 17 00:00:00 2001
From: Vern Paxson <vern@corelight.com>
Date: Wed, 11 Sep 2024 15:41:14 +0200
Subject: [PATCH] remove unnecessary header include

---
 src/script_opt/CPP/Driver.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/script_opt/CPP/Driver.cc b/src/script_opt/CPP/Driver.cc
index d9ac00203a..b6dc561853 100644
--- a/src/script_opt/CPP/Driver.cc
+++ b/src/script_opt/CPP/Driver.cc
@@ -5,7 +5,6 @@
 #include <cerrno>
 
 #include "zeek/script_opt/CPP/Compile.h"
-#include "zeek/script_opt/IDOptInfo.h"
 
 extern std::unordered_set<std::string> files_with_conditionals;