From 510e8da14a67a5af81f3ddd97bc74deb309792b7 Mon Sep 17 00:00:00 2001
From: Remi Delmas <delmasrd@amazon.com>
Date: Wed, 20 Sep 2023 01:08:31 +0000
Subject: [PATCH] fix expected value for pref_align_of under aarch64/macos

---
 tests/kani/Intrinsics/ConstEval/pref_align_of.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/kani/Intrinsics/ConstEval/pref_align_of.rs b/tests/kani/Intrinsics/ConstEval/pref_align_of.rs
index 238bf37c67f7..22ff342a8198 100644
--- a/tests/kani/Intrinsics/ConstEval/pref_align_of.rs
+++ b/tests/kani/Intrinsics/ConstEval/pref_align_of.rs
@@ -48,7 +48,7 @@ fn main() {
         #[cfg(target_os = "linux")]
         assert!(unsafe { pref_align_of::<i16>() } == 4);
         #[cfg(target_os = "macos")]
-        assert!(unsafe { pref_align_of::<i16>() } == 1);
+        assert!(unsafe { pref_align_of::<i16>() } == 2);
         assert!(unsafe { pref_align_of::<i32>() } == 4);
         assert!(unsafe { pref_align_of::<i64>() } == 8);
         assert!(unsafe { pref_align_of::<i128>() } == 16);