1 files changed, 0 insertions, 3 deletions
diff --git a/riscv/insns/vmst.h b/riscv/insns/vmst.h
deleted file mode 100644
index 7b7cae1..0000000
--- a/riscv/insns/vmst.h
+++ /dev/null
@@ -1,3 +0,0 @@
-require_vector;
-demand(0 <= RS2 && RS2 < MAX_UTS, "ut not in range!");
-UT_RD(RS2) = RS1;