From 147eee5b17b682373f9730111ba1c174d8134b59 Mon Sep 17 00:00:00 2001
From: Vern Paxson <vern@corelight.com>
Date: Thu, 19 Nov 2020 17:15:30 -0800
Subject: [PATCH] merge glitch

---
 src/Var.cc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/Var.cc b/src/Var.cc
index a480b66d49..b6da41e4f2 100644
--- a/src/Var.cc
+++ b/src/Var.cc
@@ -19,8 +19,6 @@
 
 #include "zeek/script_opt/ScriptOpt.h"
 
-#include "zeek/script_opt/ScriptOpt.h"
-
 namespace zeek::detail {
 
 static ValPtr init_val(Expr* init, const Type* t, ValPtr aggr)