1 files changed, 0 insertions, 3 deletions
diff --git a/riscv/insns/smbt32.h b/riscv/insns/smbt32.h
deleted file mode 100644
index 35059ad..0000000
--- a/riscv/insns/smbt32.h
+++ /dev/null
@@ -1,3 +0,0 @@
-require_rv64;
-require_extension(EXT_ZPN);
-WRITE_RD((sreg_t)P_SW(RS1, 0) * P_SW(RS2, 1));