1 files changed, 2 insertions, 3 deletions
diff --git a/rv32_zk b/rv32_zk
index 0bd9443..b4b1330 100644
--- a/rv32_zk
+++ b/rv32_zk
@@ -1,6 +1,6 @@
 #import zbkb
-$pseudo_op rv64_zbp::shfli    zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3 
-$pseudo_op rv64_zbp::unshfli  unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3 
+$pseudo_op rv64_zbp::shfli    zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
+$pseudo_op rv64_zbp::unshfli  unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
 $pseudo_op rv64_zbb::rori     rori.rv32 rd rs1   31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
 $pseudo_op rv64_zbp::grevi    rev8.rv32 rd rs1   31..20=0x698 14..12=5 6..0=0x13
 
@@ -22,4 +22,3 @@ $import rv32_zknh::sha512sig0l
 $import rv32_zknh::sha512sig0h
 $import rv32_zknh::sha512sig1l
 $import rv32_zknh::sha512sig1h
-