From 2dce4f6afecd62bab16cf34590eee62b0eaea02d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tommi=20M=C3=A4klin?= <tommi@maklin.fi>
Date: Tue, 19 Dec 2023 14:29:27 +0200
Subject: [PATCH] Fix missing headers when compiling with GCC 13.

---
 src/core/defs.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/defs.h b/src/core/defs.h
index 2720731..62d8360 100644
--- a/src/core/defs.h
+++ b/src/core/defs.h
@@ -13,6 +13,7 @@
 
 #include <string>
 #include <vector>
+#include <cstdint>
 using namespace std;
 
 typedef vector<uint8_t> contig_t;