vcpkg/ports/z3/fix-cstdint-include.patch
Timothy Werquin 8602701c9d
[z3] Update to 4.12.2 (#32281)
Updates the z3 port to 4.12.2 to fix building on macOS.
2023-06-29 14:35:12 -07:00

13 lines
311 B
Diff

diff --git a/src/util/tptr.h b/src/util/tptr.h
index 6213b2efa..2a35af535 100644
--- a/src/util/tptr.h
+++ b/src/util/tptr.h
@@ -20,6 +20,7 @@ Revision History:
#pragma once
#include "util/machine.h"
+#include <cstdint>
#define TAG_SHIFT PTR_ALIGNMENT
#define ALIGNMENT_VALUE (1 << PTR_ALIGNMENT)