From 12c389057d20ad58b77c6d2a6bf955f9500446c6 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Mon, 20 Dec 2021 19:01:00 +0000
Subject: Define vsub.

---
 src/Helium/Instructions.agda | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/Helium/Instructions.agda')

diff --git a/src/Helium/Instructions.agda b/src/Helium/Instructions.agda
index 256f9c4..1fa2829 100644
--- a/src/Helium/Instructions.agda
+++ b/src/Helium/Instructions.agda
@@ -41,6 +41,8 @@ record VecOp₂ : Set where
 
 VAdd = VecOp₂
 
+VSub = VecOp₂
+
 record VHSub : Set where
   field
     op₂ : VecOp₂
-- 
cgit v1.2.3