From 4e6bbd9756c5f0362879e6585b60074c6367859e Mon Sep 17 00:00:00 2001
From: Benjamin Bannier <benjamin.bannier@corelight.com>
Date: Wed, 8 May 2024 10:55:44 +0200
Subject: [PATCH] Fix include of private file in public header

---
 src/spicy/runtime-support.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/spicy/runtime-support.h b/src/spicy/runtime-support.h
index 95d08f219f..bf00c2df5e 100644
--- a/src/spicy/runtime-support.h
+++ b/src/spicy/runtime-support.h
@@ -21,8 +21,8 @@
 #include <hilti/rt/fmt.h>
 #include <hilti/rt/types/all.h>
 
-#include "Val.h"
 #include "zeek/Desc.h"
+#include "zeek/Val.h"
 #include "zeek/spicy/cookie.h"
 #include "zeek/spicy/manager.h"
 #include "zeek/spicy/port-range.h"