diff --git a/src/util/tptr.h b/src/util/tptr.h
index 50e9417feea..37b6f64fe72 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)