From 76b1a7a960d85c59576429aac7773392294e88d9 Mon Sep 17 00:00:00 2001
From: YOSHIHIRO Imai <y.imai@proof-ninja.co.jp>
Date: Mon, 8 Dec 2025 10:03:04 +0900
Subject: [PATCH] Update simd_execute.v

Both `vtestop` and `vshiftop` are of type `$\mathcal{N}$`, so the code compiles. However, shouldn't the type of the first argument to `app_vshiftop_str` be `vshiftop` rather than `vtestop`?
---
 theories/simd_execute.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/simd_execute.v b/theories/simd_execute.v
index b8a8d2e2..56f6fe5e 100644
--- a/theories/simd_execute.v
+++ b/theories/simd_execute.v
@@ -13,7 +13,7 @@ Parameter app_vunop_str : vunop -> string -> string.
 Parameter app_vbinop_str : vbinop -> string -> string -> string.
 Parameter app_vternop_str : vternop -> string -> string -> string -> string.
 Parameter app_vtestop_str : vtestop -> string -> string.
-Parameter app_vshiftop_str : vtestop -> string -> string -> string.
+Parameter app_vshiftop_str : vshiftop -> string -> string -> string.
 
 End SIMD_ops.