From 9ea88613c0364d20ad806d01be5cecf37cfe8379 Mon Sep 17 00:00:00 2001
From: Dennis Schmidt <20640295+dlschmidt@users.noreply.github.com>
Date: Sat, 29 Apr 2023 17:18:19 +0200
Subject: [PATCH] Add missing import for cstdint to tools/bits2rbt/header.h

Signed-off-by: Dennis Schmidt <20640295+dlschmidt@users.noreply.github.com>
---
 tools/bits2rbt/header.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/bits2rbt/header.h b/tools/bits2rbt/header.h
index 3c42fb43..f422b742 100644
--- a/tools/bits2rbt/header.h
+++ b/tools/bits2rbt/header.h
@@ -4,6 +4,7 @@
 #include <iostream>
 #include <string>
 #include <vector>
+#include <cstdint>
 
 class Header {
        public: