tptr.h: Include <cstdint> once rather than twice. (#7051)

Z3Prover · Dec 13, 2023 · 3ebec56 · 3ebec56
1 parent 0f4e96a
commit 3ebec56
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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)