mirror of
https://github.com/microsoft/vcpkg.git
synced 2024-12-30 20:59:12 +08:00
8602701c9d
Updates the z3 port to 4.12.2 to fix building on macOS.
13 lines
311 B
Diff
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)
|