1 files changed, 0 insertions, 2 deletions
diff --git a/riscv/insns/pktb32.h b/riscv/insns/pktb32.h
deleted file mode 100644
index 0a7e17f..0000000
--- a/riscv/insns/pktb32.h
+++ /dev/null
@@ -1,2 +0,0 @@
-require_rv64;
-P_PK(32, 1, 0);