From a614ac7d95e21b432f54a44b411cda03260946cc Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Thu, 14 Dec 2023 00:36:41 +0700
Subject: [PATCH] tptr.h: Include `<cstdint>` once rather than twice. (#7051)

---
 src/util/tptr.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/util/tptr.h b/src/util/tptr.h
index 50e9417fe..37b6f64fe 100644
--- a/src/util/tptr.h
+++ b/src/util/tptr.h
@@ -21,7 +21,6 @@ Revision History:
 
 #include <cstdint>
 #include "util/machine.h"
-#include <cstdint>
 
 #define TAG_SHIFT        PTR_ALIGNMENT
 #define ALIGNMENT_VALUE  (1 << PTR_ALIGNMENT)