added type for aarch64

hacspec · Jul 13, 2024 · 1e99b0e · 1e99b0e
1 parent 0ad51f1
commit 1e99b0e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/proof-libs/fstar/core/Core.Core_arch.Arm_shared.Neon.fsti b/proof-libs/fstar/core/Core.Core_arch.Arm_shared.Neon.fsti
@@ -1,6 +1,7 @@
 module Core.Core_arch.Arm_shared.Neon
 
 val t_int16x4_t:Type0
+val t_int16x8_t:Type0
 val t_int32x2_t:Type0
 val t_int32x4_t:Type0
 val t_int64x2_t:Type0