From 80eae8c468f77e191cc59cd39561d6b3852a6a10 Mon Sep 17 00:00:00 2001
From: Jonathan G Rennison <j.g.rennison@gmail.com>
Date: Mon, 18 Dec 2023 17:35:56 +0000
Subject: [PATCH] Fix missing header reference in src/core/CMakeLists.txt

---
 src/core/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/CMakeLists.txt b/src/core/CMakeLists.txt
index d060255b96..01a6ec862a 100644
--- a/src/core/CMakeLists.txt
+++ b/src/core/CMakeLists.txt
@@ -33,6 +33,7 @@ add_files(
     serialisation.cpp
     serialisation.hpp
     smallstack_type.hpp
+    span_type.hpp
     tinystring_type.hpp
     y_combinator.hpp
 )